why3_1.0.0-1_all.buildinfo (view)

Source
why3
Version
1.0.0-1
Architecture
all i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Thu, 28 Jun 2018 04:45:37 +0000
Build-Path
/build/1st/why3-1.0.0

First submitted
Thu, 28 Jun 2018 05:26:39 +0000
SHA1 of .buildinfo
a6d692f58b8fd5883f8bda096a43b879950431c2

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.0.0-1_i386.deb)
SHA1: aeb1f23319e0876d8ef674243a126ad7ca0b3116
SHA256: 97af547404d7ff110d768b0649b07e14cc1c139d0fdf2fc4e5d01db77e8a8f7d

Size: 3,495,972 bytes
why3 (why3_1.0.0-1_i386.deb)
SHA1: 1e33e311bded55045e0a9b6556a93216f86b6033
SHA256: 2296e007581e05b5d5270fe3ba7165a6d9f1b7ef519725d3e6938d11722b3612

Size: 17,358,572 bytes
why3-coq (why3-coq_1.0.0-1_i386.deb)
SHA1: 9ba4fd4dd3a34e4a6cf36610c9a942f7b21f3898
SHA256: 755f74d70a2f48120841cebd2857bda5571007c54b279ff0f0701acf84339d22

Size: 560,524 bytes
why3-doc-html (why3-doc-html_1.0.0-1_all.deb)
SHA1: c67c74678d4c4a053d9f89fc8c923034f1eac379
SHA256: afb6c9e54c8b1ed1d5f7b68f79dc250971e5640546d55e6c5ddb4fe053529561

Size: 331,752 bytes
why3-doc-pdf (why3-doc-pdf_1.0.0-1_all.deb)
SHA1: c8e0321143b74b3dbe99cfcac5cc29cb6870d858
SHA256: b0a6bae206bf6d2e0cd8b64450725fad141125b1c07d62b6735a5db246502d2a

Size: 1,072,648 bytes
why3-examples (why3-examples_1.0.0-1_all.deb)
SHA1: c9dbe166918b57a140a06edef31d739153706af7
SHA256: 58c7805cf18c5e0fd02e33fbae828f97b9b4c1e6fc47438a85c39781f932cf35

Size: 2,485,884 bytes

Other checksums

why3-dbgsym_1.0.0-1_i386.deb
SHA1: 786419dc1dae480d0c8c9a38325b38c4bf861dc7
Size: 5,784,812 bytes
libwhy3-ocaml-dev-dbgsym_1.0.0-1_i386.deb
SHA1: a71ba38d53f7b726bd624c1d8139ae303c064012
Size: 487,580 bytes

Submissions

7wz9csbh
Submitted
Thu, 28 Jun 2018 05:26:39 +0000
Signed by
0xA6B59AB7CD69D4AC profitbricks-build2-i386 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="why3_1.0.0-1=/build/1st/why3-1.0.0"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=10"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1530130773"