why3_0.88.3-2_armhf.buildinfo (view)

Source
why3
Version
0.88.3-2
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sun, 8 Apr 2018 18:58:43 +0000
Build-Path
/build/why3-1RB962/why3-0.88.3

First submitted
Fri, 26 Oct 2018 18:20:52 +0000
SHA1 of .buildinfo
e21fad25f91effd68f3035fe6a6dc47ea7f92a65

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.88.3-2_armhf.deb)
SHA1: 56cfa669e30d55677562fa36b202656ad4ad181d
SHA256: abfa2bb83c8aee0dda8e4e4ffacab4292b690d6c6d9ab54f866d538f16f880d5

Size: 2,000,228 bytes
why3 (why3_0.88.3-2_armhf.deb)
SHA1: 5c72935e47b009bbad0e9a6ad53669d4e050e759
SHA256: cfec3a33fba1e105818895931bf2949dab27084d84989b0c8c59e11384d8acf6

Size: 11,129,564 bytes
why3-coq (why3-coq_0.88.3-2_armhf.deb)
SHA1: c9c47d269a9cebb3c59c91d73d076401780415ef
SHA256: 021fe45760e8a19a99d98f7b1aaeddc627294ba966ffb2a4b6964413792a6234

Size: 2,048,248 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_0.88.3-2_armhf.deb
SHA1: 7f296610dd1229f41b96d57750912ae77cff4b4b
Size: 4,009,964 bytes
why3-coq-dbgsym_0.88.3-2_armhf.deb
SHA1: c72cac5e09b90ac99462727277d19532ec57b2f9
Size: 396,964 bytes

Submissions

w9brxqom
Submitted
Fri, 26 Oct 2018 18:20:53 +0000
Signed by
0xADD59F9A4683EC2D

Environment


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