why3_1.2.1-6_all.buildinfo (view)

Source
why3
Version
1.2.1-6
Architecture
all i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Wed, 25 Mar 2020 02:23:46 +0000
Build-Path
/build/why3-1.2.1

First submitted
Wed, 25 Mar 2020 02:30:14 +0000
SHA1 of .buildinfo
bba55eefd9b0769c8392ad12b3fe6bb41e590609

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.2.1-6_i386.deb)
SHA1: a820dd1cfe4938390b4bd900b45cd36a2443152f
SHA256: 66e17e9618f17dc8d441a6e6f869596b02b587d2a75e26f95f7e09b62ef94127

Size: 7,647,756 bytes
why3 (why3_1.2.1-6_i386.deb)
SHA1: 02f5706929a70418e7f33e685efc57eaa8e3935a
SHA256: 7b5d1ab7fff3c26631f6fe68863771b7bf0a1ee09b6bc7fa2732ffdf041c984a

Size: 26,784,248 bytes
why3-coq ()
why3-doc-html (why3-doc-html_1.2.1-6_all.deb)
SHA1: a00e6f6e44531431f1ccfb2abc2b58e100b90157
SHA256: b0d3ab826eeef40ade51d10216927b7918438ad107832144c70eab57e09489cd

Size: 362,932 bytes
why3-doc-pdf (why3-doc-pdf_1.2.1-6_all.deb)
SHA1: ed2544a276efbacd664183bf0a4bb0851c446ab5
SHA256: 88aa8770e0bbcb4d300e860b39e8cf90b0313902d24e2e0287437a7fe0653477

Size: 1,275,192 bytes
why3-examples (why3-examples_1.2.1-6_all.deb)
SHA1: a5ac0f7de547a023f12bee4a1fc5076198512f94
SHA256: 03a60c0682031570f7882e30443720516f652b61de8a55800c95ee80506c26a3

Size: 2,474,304 bytes

Other checksums

why3-dbgsym_1.2.1-6_i386.deb
SHA1: 3b36d9319ac96b2d2ed6bf83c2cc7120f9a7922d
Size: 6,458,028 bytes
libwhy3-ocaml-dev-dbgsym_1.2.1-6_i386.deb
SHA1: 2f59f2e618c274ea169df2f50fb324043db99b66
Size: 527,332 bytes

Submissions

frwnaree
Submitted
Wed, 25 Mar 2020 02:30:15 +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="1583696219"