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
Mon, 27 Nov 2017 22:45:01 +0000
Build-Path
/build/why3-0.87.3

First submitted
Mon, 27 Nov 2017 23:04:12 +0000
SHA1 of .buildinfo
074dfb6b66aa57474d971e2d4f51c44d36dc432b

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.87.3-2_armhf.deb)
SHA1: c0c24b2a5af87445fe82c39b974e40fa3da2a6a8
SHA256: d218a2841361557209d049f5ac6925162e381148166607fcda32ba2852c7df81

Size: 4,925,360 bytes
why3 (why3_0.87.3-2_armhf.deb)
SHA1: ca4939f7a9f9c0e33d87eeef0386a4a80f2cab55
SHA256: 571c4ef37561910d104d47235215681a941acf7950305d176c847af3f26ea326

Size: 11,354,052 bytes
why3-coq (why3-coq_0.87.3-2_armhf.deb)
SHA1: 880b3fa35e9baff2d6654af1154a2e49813fbdbc
SHA256: 317b252a30652989787b9b1a183b612ba037ab4c833b2a77afba9e3228365671

Size: 5,200,064 bytes
why3-doc-html (why3-doc-html_0.87.3-2_all.deb)
SHA1: abe9b3cb8facd224ffd1882bd872bc9b62392320
SHA256: ae5f2359f8718d5bbb66690125b898e77a578234f03e171a4202f1c1156d9cf4

Size: 725,000 bytes
why3-doc-pdf (why3-doc-pdf_0.87.3-2_all.deb)
SHA1: 45fa81ad32bd115dfbfddcd1a6f520ff617611de
SHA256: 65850919fde8aee117ae31009e40b923db80104f4f8131628ab4de02b88ef077

Size: 1,228,992 bytes
why3-examples (why3-examples_0.87.3-2_all.deb)
SHA1: 61de2445577c228dcbd9c44ca8c9aeb1a14bd815
SHA256: 9b2c26404a4a41a2a7b37233bec7e4833b68f4197ac0413bc6c2e0d092463217

Size: 1,747,000 bytes

Other checksums

why3-dbgsym_0.87.3-2_armhf.deb
SHA1: 279c6610160feb4954108ed57d5b3609e66ca01a
Size: 3,117,928 bytes
why3-coq-dbgsym_0.87.3-2_armhf.deb
SHA1: f3fdc3c002af9ef438bcce582ecad04aa5cfb3cd
Size: 316,644 bytes

Submissions

omugur3m
Submitted
Mon, 27 Nov 2017 23:04:13 +0000
Signed by
0x923D584899E35CB7 jtx1c (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"