Source
why3
Version
0.87.3-2
Architecture
all armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sat, 1 Apr 2017 05:30:39 +0000
Build-Path
/build/why3-0.87.3/2nd

First submitted
Sat, 1 Apr 2017 06:33:33 +0000
SHA1 of .buildinfo
3b03aa85241e5c8b599816c58db9fdc1b7a7b7a4

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.87.3-2_armhf.deb)
SHA1: 70e88eea75dca5cce9db9db5c583a21661f8ee64
SHA256: 45907d5076a5071578a143fc4dca94349f75623a6c1c18387e3c114ba3fe6b68

Size: 4,925,208 bytes
why3 (why3_0.87.3-2_armhf.deb)
SHA1: 42b57ebd603d3901c7d269834895381d60e3296c
SHA256: f5d48d442b9afb9524985cf0be0990b64ed93670d0925f12ab7897084c490392

Size: 11,268,416 bytes
why3-coq (why3-coq_0.87.3-2_armhf.deb)
SHA1: d1dd6908c9b82458cac9d024a87d31a770348c11
SHA256: eddfc8f796197da54b8cb128cacab7ec38aa1ba4d09ba3f77ffc57e64d622c0c

Size: 5,181,944 bytes
why3-doc-html (why3-doc-html_0.87.3-2_all.deb)
SHA1: 185019b238c2ec441ff37d0d6eea15f25a8b3107
SHA256: d58c99bb0a5453fecabc7a256ccf7d3d8f0216c1ae2fea527b1df15d0c5e423f

Size: 725,012 bytes
why3-doc-pdf (why3-doc-pdf_0.87.3-2_all.deb)
SHA1: 249ed444882cad53d5f79c2d3d4ed0cdd779475f
SHA256: 2e04e13ba434cd94ca93ef4e4553a8b11f1bd50f52d5cd222acb59acc97d2bf2

Size: 1,228,960 bytes
why3-examples (why3-examples_0.87.3-2_all.deb)
SHA1: d576177648ff8de19f0bcf4e5adbf1ef31e72aef
SHA256: 2dcc755f6d9b831df3696ea36b8c3791f8f6c1b2deb5fca24dabbfc73b063a01

Size: 1,750,654 bytes

Other checksums

why3-dbgsym_0.87.3-2_armhf.deb
SHA1: 7e6f3d1e8680deac614060e26f0306e7fc745cd7
Size: 4,095,510 bytes
why3-coq-dbgsym_0.87.3-2_armhf.deb
SHA1: 358d94e93c51e1e4375a07cbb5cbeed55d64afc7
Size: 318,972 bytes

Submissions

Submitted
Sat, 1 Apr 2017 06:33:33 +0000
Signed by
0x101CF655F3A0F753 ff4a (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="parallel=4"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1485028928"