why3_1.1.1-1_armel.buildinfo (view)

Source
why3
Version
1.1.1-1
Architecture
armel

Build-Origin
Debian
Build-Architecture
armel
Build-Date
Tue, 18 Dec 2018 09:42:49 +0000
Build-Path
/build/why3-cbzMoT/why3-1.1.1

First submitted
Tue, 18 Dec 2018 12:11:31 +0000
SHA1 of .buildinfo
a0d533464ce019ca26766b812e575adbfb8e8377

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.1.1-1_armel.deb)
SHA1: 81b621ed6e631e2d283ec3e34b382a87bf463ea5
SHA256: a5262fab6c3a086692bb0b56528807186bd3bef190bb69eda153472229a8531b

Size: 3,997,556 bytes
why3 (why3_1.1.1-1_armel.deb)
SHA1: 08ea416879a44351592e5a1ddb6a50f8a72cb01b
SHA256: 155c41611e98339e0afec86682f0ca8e2e17436d823aef374c6e2158d80c4916

Size: 53,172,220 bytes
why3-coq (why3-coq_1.1.1-1_armel.deb)
SHA1: b69ba9472b43e0561f583493c5ca5f5a29f2a7dc
SHA256: 6b8a55ace1268ddbf1d4eb251f128cc21c5d53a871fa09751bd4dbd132576f4f

Size: 588,100 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_1.1.1-1_armel.deb
SHA1: 317a1fb063d94e9b7414302c8a1260ea5a8e3a16
Size: 55,876 bytes

Submissions

fepfhjy9
Submitted
Tue, 18 Dec 2018 12:11:32 +0000
Signed by
0x1D09EB5229E8F175

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1545105038"