why3_1.3.1-2_all.buildinfo (view)

Source
why3
Version
1.3.1-2
Architecture
all i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Thu, 9 Apr 2020 21:23:34 +0000
Build-Path
/build/1st/why3-1.3.1

First submitted
Thu, 9 Apr 2020 23:30:25 +0000
SHA1 of .buildinfo
da7be39d41c86c54668cc6271b606fed0ca6e110

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.3.1-2_i386.deb)
SHA1: c920459d7cdeede86db57ab77e95d0d4e9d602a4
SHA256: 4b251f56130f8778aa38f92485264bfc56e5c2ceef93d98436994d3ee6855863

Size: 8,287,180 bytes
why3 (why3_1.3.1-2_i386.deb)
SHA1: f8b61ea4c05471f908431337fc2b2bec6448cbe2
SHA256: 87052342702a433f8998bd6cb67d21721431bf104b3bca19814186b7520eb1e4

Size: 29,361,152 bytes
why3-coq ()
why3-doc-html (why3-doc-html_1.3.1-2_all.deb)
SHA1: 79ec077c6148bab44068c111a4c5e63171ca942c
SHA256: 94c6f764f333fd884c660670ed3fa4ba645d7e58ed97cdd4d1ad07d86944b5de

Size: 956,236 bytes
why3-doc-pdf (why3-doc-pdf_1.3.1-2_all.deb)
SHA1: 300994ccc78ed84383d5fbdc51f8f0051509e531
SHA256: d749ca65a241068103df0ee51a66bdf68fb08340b4bd88fdab7d47a379563cc2

Size: 1,055,988 bytes
why3-examples (why3-examples_1.3.1-2_all.deb)
SHA1: ac6cee6c6f4ea4e659d17d00c3c153d5b759a8c0
SHA256: 07dfe8be6b226f63b351a483848f3c534a1ca668128e86932616fcb3cc04e207

Size: 3,505,744 bytes

Other checksums

why3-dbgsym_1.3.1-2_i386.deb
SHA1: c26f9ac9c2d0c6a50ebd6beebcf4ca8338b443ab
Size: 7,440,336 bytes
libwhy3-ocaml-dev-dbgsym_1.3.1-2_i386.deb
SHA1: 3a30c3dbc082e3d808e8b582f1f7d62e84cdc6bd
Size: 577,992 bytes

Submissions

4tuyeqmb
Submitted
Thu, 9 Apr 2020 23:30:26 +0000
Signed by
0xA6B59AB7CD69D4AC profitbricks-build2-i386 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=10"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1586279499"