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 01:43:39 +0000
Build-Path
/build/1st/why3-0.88.3

First submitted
Mon, 9 Apr 2018 03:16:57 +0000
SHA1 of .buildinfo
8de8c219ea0d2f5018ba5e8761ba8d91ce1e18c0

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.88.3-2_armhf.deb)
SHA1: 75ecf4c7473dd4f7e4c4e1b90691b57f6b84d3a2
SHA256: 7c1eac873b13db0f4c7c5bc9721809ededa6a1d6f9c60f6103a94b3ed7265884

Size: 1,999,608 bytes
why3 (why3_0.88.3-2_armhf.deb)
SHA1: 46035aee4f4c0185b89d386046a0ebc34e83fa86
SHA256: da752a358d5f75336abaf2f0c681f6f789845486f8be682bb3cd3634fae1f3e5

Size: 11,135,532 bytes
why3-coq (why3-coq_0.88.3-2_armhf.deb)
SHA1: 3741e6884ad0ef2eb1a2fc83b8f2fd6d1d0f1bd5
SHA256: 9ea05baccd7f3c85f28503f41254df2df982ca41c4557e547bb653ae4e2df0f5

Size: 2,048,588 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: e60368ad74f834e414b7d04a27821f111f0f9097
Size: 3,965,528 bytes
why3-coq-dbgsym_0.88.3-2_armhf.deb
SHA1: 4f6fabc0708dc9238b80ab50955b966de8464b89
Size: 396,060 bytes

Submissions

qwocjsqy
Submitted
Mon, 9 Apr 2018 03:16:58 +0000
Signed by
0xF7F2097D55C669EF bbx15 (Automatically generated key for signing .buildinfo files)

Environment


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