why3_1.0.0-2_all.buildinfo (view)

Source
why3
Version
1.0.0-2
Architecture
all armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sat, 18 Aug 2018 05:19:12 +0000
Build-Path
/build/why3-1.0.0

First submitted
Sat, 18 Aug 2018 05:20:27 +0000
SHA1 of .buildinfo
efb1f8f4f811322acc52aecd436cce80ca6eddfb

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.0.0-2_armhf.deb)
SHA1: 7351193e60d8e5ceabe3d58ab07d5e4c4e5de602
SHA256: cdd3c692187dd25790ea40314078291254d96d047de1529d75e5f0ae060095c3

Size: 3,872,824 bytes
why3 (why3_1.0.0-2_armhf.deb)
SHA1: 7f5a050d90b45683a2f296b8c47d5759d360f3ba
SHA256: 09587aa4cb89e94b93f0df93131a4add6fd913249414ffce42baecbfaa9141e3

Size: 17,125,300 bytes
why3-coq (why3-coq_1.0.0-2_armhf.deb)
SHA1: b2eeabefc04d99ddeee4360c1683e10ad44297e5
SHA256: 53928c137ab7eb7d8975f894171b33a9d4163f0df45ecad3772a36465ed74002

Size: 561,716 bytes
why3-doc-html (why3-doc-html_1.0.0-2_all.deb)
SHA1: 913c76efe097690ffaa1164a36dd93a9940fe6b1
SHA256: 85b3a58961aae4f439c4d10a4cd95601bc01a33c507c2aca5656598de67fa853

Size: 331,832 bytes
why3-doc-pdf (why3-doc-pdf_1.0.0-2_all.deb)
SHA1: 61e308c02c0475e1ec1e8a116ed2cdb5921890db
SHA256: 2273161472f02dbd49283bccdb7c9328f33deb358aad99639ddc8b6823b2f0a5

Size: 1,071,872 bytes
why3-examples (why3-examples_1.0.0-2_all.deb)
SHA1: 6b84165c9b87de0e3c59d58f2434afc73ecdef1f
SHA256: d541d549046d5cee89de60c17a70314b2db9f103a9424bce761375c9d6bc4818

Size: 2,486,076 bytes

Other checksums

why3-dbgsym_1.0.0-2_armhf.deb
SHA1: 9c905fd4db4def3155f0d38cbf7794b7a6c8c299
Size: 5,226,668 bytes
libwhy3-ocaml-dev-dbgsym_1.0.0-2_armhf.deb
SHA1: 97fc7b92c48feefb051a3ed17a4f765f0d024538
Size: 444,364 bytes

Submissions

t4nqcc3e
Submitted
Sat, 18 Aug 2018 05:20:27 +0000
Signed by
0x9538881E43D098FB jtx1b (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=4"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1534109384"