why3_0.88.3-1_s390x.buildinfo (view)

Source
why3
Version
0.88.3-1
Architecture
s390x

Build-Origin
Debian
Build-Architecture
s390x
Build-Date
Sun, 14 Jan 2018 21:23:10 +0000
Build-Path
/build/why3-V09w0Z/why3-0.88.3

First submitted
Sat, 27 Oct 2018 16:58:47 +0000
SHA1 of .buildinfo
f6072221c11c9d13959ea323aace2668bf075809

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.88.3-1_s390x.deb)
SHA1: 02b6e27c2b9d832caa20d250a1b795a7578c31ca
SHA256: 10e1bd2d048425d293e0a75213f10b7160f58118b8f4347be30f5f68fe3cf636

Size: 1,795,444 bytes
why3 (why3_0.88.3-1_s390x.deb)
SHA1: 6ce2615e6b76e089e34f63134cd02d3b832b01e7
SHA256: 54d19c0b63f00961118e52e70263f10bdb542356b7bbcd90d5bf1f65faa2e5cb

Size: 21,075,828 bytes
why3-coq (why3-coq_0.88.3-1_s390x.deb)
SHA1: 27d718bdd67551de623913f0dad21d260cc3dd64
SHA256: 70ada4e31a33123d011b833ffe28903ea6231d8c1145c59f714c86669fba5625

Size: 2,157,200 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_0.88.3-1_s390x.deb
SHA1: b3b1d0a0f1ac228229af4ccb37f95b8d08e91c52
Size: 3,610,508 bytes
why3-coq-dbgsym_0.88.3-1_s390x.deb
SHA1: 968338c2ac6e8c8367404bdf7e9850d960fa0d45
Size: 351,904 bytes

Submissions

awn9aaiy
Submitted
Sat, 27 Oct 2018 16:58:48 +0000
Signed by
0x135DC390E4032D36

Environment


DEB_BUILD_OPTIONS="parallel=2"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1515937974"