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
Sat, 23 Dec 2017 08:05:40 +0000
Build-Path
/build/why3-0.87.3

First submitted
Sat, 23 Dec 2017 09:01:24 +0000
SHA1 of .buildinfo
10cadc7133af2ad19b29a59c0e46e6fa51c736b8

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: 2d755fc785cfa886d01ba7d024ae057e992475a6
SHA256: 544a9601394584ca3fc5b547db7566c13cd5b68bc0d5c61910adeb5b3c53d76e

Size: 11,339,516 bytes
why3-coq (why3-coq_0.87.3-2_armhf.deb)
SHA1: a960a9ce80ac45f06aad1b1d60f44529b78b325f
SHA256: 86eb10d127d9070d87b262064a7518db4ebe34833ad0c3920703f55ce5ad3f1b

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: 886a3f12c22fd9b97245ea63e8e480b84505568f
Size: 3,094,916 bytes
why3-coq-dbgsym_0.87.3-2_armhf.deb
SHA1: e764154059a42cc147ff606ea1194f8875b2729a
Size: 317,436 bytes

Submissions

fescuufm
Submitted
Sat, 23 Dec 2017 09:01:25 +0000
Signed by
0x7E32E41C9458C0CC odxu4b-armhf-rb.debian.net (Automatically generated key for signing .buildinfo files)

Environment


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