why3_0.88.3-2_all.buildinfo (view)

Source
why3
Version
0.88.3-2
Architecture
all armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Mon, 9 Apr 2018 02:02:18 +0000
Build-Path
/build/why3-0.88.3/2nd

First submitted
Mon, 9 Apr 2018 03:16:59 +0000
SHA1 of .buildinfo
d16f18e1b4c03a685e41ccc5b90e4202827dd623

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.88.3-2_armhf.deb)
SHA1: 1e3a248182d3181299d787bf13b589f14f732087
SHA256: 1465c51284308743bd8b5c3e30cc3b354118ddce86be4de261fb2b16ef64913a

Size: 1,999,616 bytes
why3 (why3_0.88.3-2_armhf.deb)
SHA1: 72e6b2d8e02e8d50561441cb5fa0c6b19eb19f9e
SHA256: cb8b8929fd2285a825b19dccbb13dd38a5fc88a76c62781df555abb2637140c3

Size: 11,127,472 bytes
why3-coq (why3-coq_0.88.3-2_armhf.deb)
SHA1: 349158f092b6bef8b1d8bc6a03111b729e9d72f6
SHA256: 5ee9b5c9865da1bf952d2d15e10a3f37cbcacafa11c07c3c9b3d0d6c88eaa1cb

Size: 2,047,984 bytes
why3-doc-html (why3-doc-html_0.88.3-2_all.deb)
SHA1: c6fbaa198ffaf81deea1ed8e26d74e6f99667ff2
SHA256: 9aef090a799f5c15da82e33112cd499d17a423b25ac77f6d52f393de3dfe4046

Size: 445,228 bytes
why3-doc-pdf (why3-doc-pdf_0.88.3-2_all.deb)
SHA1: 802ec03886607c493a706f192cdf5d68e56c5e2d
SHA256: 698ffb470c97747158e816b985844fc9556fa8a2d34c4bbdae33d4b415c08830

Size: 1,250,624 bytes
why3-examples (why3-examples_0.88.3-2_all.deb)
SHA1: 0ba7e78bbb8da880c7337daf5808da8ea8319654
SHA256: 84824fd368df4ba00503086d6edf0aa8eb55e6b65be25a75b66d0eb723998933

Size: 1,626,120 bytes

Other checksums

why3-dbgsym_0.88.3-2_armhf.deb
SHA1: 3d1de0282d523d85b9920d754dc2640d22d92a93
Size: 4,012,260 bytes
why3-coq-dbgsym_0.88.3-2_armhf.deb
SHA1: 5a5a1ade6704bcdb6df675bf612787508e1668b7
Size: 396,656 bytes

Submissions

gcsshheq
Submitted
Mon, 9 Apr 2018 03:17:00 +0000
Signed by
0x101CF655F3A0F753 ff4a (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="why3_0.88.3-2=/build/why3-0.88.3/2nd"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=4"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1523094841"