why3_1.0.0-1_all.buildinfo (view)

Source
why3
Version
1.0.0-1
Architecture
all armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Thu, 28 Jun 2018 04:43:11 +0000
Build-Path
/build/1st/why3-1.0.0

First submitted
Thu, 28 Jun 2018 07:16:32 +0000
SHA1 of .buildinfo
e60a59f3550d00aa9899b856d120e739eaf96a71

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.0.0-1_armhf.deb)
SHA1: 7b948b99be5978c48161bb5550965949b4f11afc
SHA256: bf73b7989d13d85af55b10741b8c84d9d1099fb3bf46dc89745253d55a5dc537

Size: 3,873,588 bytes
why3 (why3_1.0.0-1_armhf.deb)
SHA1: 132b484288dd4ddd37ca7f09a85db5fc957ef054
SHA256: fefbfb1d9b51deec0ce3655f35d1c2c9e6b4d62feae65fa0e8d33d9e357c41db

Size: 17,122,064 bytes
why3-coq (why3-coq_1.0.0-1_armhf.deb)
SHA1: 8f31a904fd1eb33d0fa85ef142908c397fc32796
SHA256: 56e569d7c945b0803093f83fcc735d3544db6130a1b32e405bef9b8ff699c249

Size: 561,540 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_armhf.deb
SHA1: 17cc40741c3afbf95eadb967710b228e95ec560f
Size: 5,224,392 bytes
libwhy3-ocaml-dev-dbgsym_1.0.0-1_armhf.deb
SHA1: a152870aa8e915e30bdc8a741793bbd4bdad0d74
Size: 443,208 bytes

Submissions

tsqnxzca
Submitted
Thu, 28 Jun 2018 07:16:34 +0000
Signed by
0x7E32E41C9458C0CC odxu4b-armhf-rb.debian.net (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=8"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1530130773"