why3_0.87.3-2_all.buildinfo (view)

Source
why3
Version
0.87.3-2
Architecture
all armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Tue, 26 Sep 2017 03:49:47 +0000
Build-Path
/build/why3-0.87.3

First submitted
Tue, 26 Sep 2017 03:51:19 +0000
SHA1 of .buildinfo
beda65714a2ca1ddb8c02a375ba6a9865ff1be38

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.87.3-2_armhf.deb)
SHA1: aacb8c8a4d5f5a64ba9469ee800a9928be873553
SHA256: 6904fbb92f7aa366e9069d9c7baa1eab042e833b4556b641dc1e8b3072f4649d

Size: 4,926,116 bytes
why3 (why3_0.87.3-2_armhf.deb)
SHA1: 270e5342968101000f0353c091d15c7a8229abf1
SHA256: 4aa23a1d0dfd8874b2618b54aad97e355120eb5625e97b3399b9e521202f343d

Size: 11,338,742 bytes
why3-coq (why3-coq_0.87.3-2_armhf.deb)
SHA1: ba9856bca1f31bfaf4f22f2f416b633ca20f6bc9
SHA256: c0952d81bf20e1cb1096b70f4063f750f9539a5ecca207cc3965fa025765ae4d

Size: 5,201,422 bytes
why3-doc-html (why3-doc-html_0.87.3-2_all.deb)
SHA1: 6595c1f295bb6f8c9595664faed3762799678efb
SHA256: 9ec9bf441d49422e8c60bc63c8e4c58e730eb9f86ef3b52483448575645ca1ff

Size: 725,018 bytes
why3-doc-pdf (why3-doc-pdf_0.87.3-2_all.deb)
SHA1: 1d1fa32bfedb3140c7ee868dc17c7aedb31f8f6c
SHA256: 9f3ae2885b80365f8c7b5461766ac2a1d7bdd57ff81425e9773e5008ed948d0a

Size: 1,228,908 bytes
why3-examples (why3-examples_0.87.3-2_all.deb)
SHA1: 1fef7d967386d525280d00564a9b1a418b54bf62
SHA256: d076e123815a2c10747e9abe866c0296c6d984f5aaeb17d2823c444aebdecf27

Size: 1,750,660 bytes

Other checksums

why3-dbgsym_0.87.3-2_armhf.deb
SHA1: 802eb76de7d0447c76a02fcdfbebd47523fd54e1
Size: 3,094,290 bytes
why3-coq-dbgsym_0.87.3-2_armhf.deb
SHA1: 6598bfaffd5b8f87edd5ff68bb248381f2e37359
Size: 316,598 bytes

Submissions

dyfxjxyc
Submitted
Tue, 26 Sep 2017 03:51:19 +0000
Signed by
0xA7B82CF0C0043589 jtx1a (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="1485028928"