why3_1.0.0-1_all.buildinfo (view)

Source
why3
Version
1.0.0-1
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Wed, 31 Jul 2019 11:08:42 +0000
Build-Path
/build/why3-1.0.0/2nd

First submitted
Thu, 28 Jun 2018 05:27:45 +0000
SHA1 of .buildinfo
78cfdb1565e3582be8a061b2d37842d171fad40b

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.0.0-1_amd64.deb)
SHA1: 96f0bcb843bfbc260309e0a60add62a7fcd2a4ec
SHA256: bae9530cce28449e76af5e23f11b0a565f2786f49827d7428309acdd5a7b4f44

Size: 3,815,780 bytes
why3 (why3_1.0.0-1_amd64.deb)
SHA1: d87616bde871753c25326b05af1e7f5bc1aa5609
SHA256: 18cd1250e0c948bc1a876712cf56761aec08ffef6080265c9f9e63ac221ac833

Size: 27,910,416 bytes
why3-coq (why3-coq_1.0.0-1_amd64.deb)
SHA1: 902ee3114f0dc82bb8437a7be15e3795e62d8ef9
SHA256: 87dd39c26e96d235dbfbc2d2e74f751188053b684a2d58b9b12af1085a1ec15a

Size: 561,520 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_amd64.deb
SHA1: a34e34c5dc95617c91436cc922ad055fdac8692b
Size: 6,032,308 bytes
libwhy3-ocaml-dev-dbgsym_1.0.0-1_amd64.deb
SHA1: 1e51f8d36548f9703ed4f725bed08074754c6d0f
Size: 501,788 bytes

Submissions

hdbk3vfd
Submitted
Thu, 28 Jun 2018 05:27:46 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-amd64 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="why3_1.0.0-1=/build/why3-1.0.0/2nd"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1530130773"