why3 (0.87.3-2)_0.87.3-2+b4_s390x.buildinfo (view)

Source
why3 (0.87.3-2)
Version
0.87.3-2+b4
Architecture
s390x

Build-Origin
Debian
Build-Architecture
s390x
Build-Date
Fri, 8 Dec 2017 10:19:30 +0000
Build-Path
/build/why3-51YJaN/why3-0.87.3

First submitted
Thu, 25 Oct 2018 20:45:00 +0000
SHA1 of .buildinfo
438e1bf4e07b74dd430907ff5d759c43661aae22

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.87.3-2+b4_s390x.deb)
SHA1: 17c0ce72779330a56d88f64a452863ebc6d97264
SHA256: fde11de309748f7648d3f0015c748c79143eee1ae5ab5f5c868ca228d846b7d0

Size: 4,708,856 bytes
why3 (why3_0.87.3-2+b4_s390x.deb)
SHA1: e93c453f557feb15d5c41430fc205c703e7a6b28
SHA256: 21f40784afd41e2c2280461a675afccc113cf65aca183974cbfe464e85122c20

Size: 22,021,172 bytes
why3-coq (why3-coq_0.87.3-2+b4_s390x.deb)
SHA1: e8ec50cfc55e25c8d8a4ce0f17595ffef4bd1913
SHA256: f0c78781b1d1f4e8c564f423c065c2059390b2123a960fdcc8c4b80ba07239c8

Size: 5,260,892 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_0.87.3-2+b4_s390x.deb
SHA1: 759e79532b36b767e63439602bbb9705ca730210
Size: 3,387,324 bytes
why3-coq-dbgsym_0.87.3-2+b4_s390x.deb
SHA1: 49611638fbc285ae0b91a6085ba3f409ce0f6bd2
Size: 337,648 bytes

Submissions

ijvscodx
Submitted
Thu, 25 Oct 2018 20:45:00 +0000
Signed by
0x135DC390E4032D36

Environment


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