why3_1.1.0-1_s390x.buildinfo (view)

Source
why3
Version
1.1.0-1
Architecture
s390x

Build-Origin
Debian
Build-Architecture
s390x
Build-Date
Mon, 5 Nov 2018 21:31:38 +0000
Build-Path
/build/why3-xDcn0D/why3-1.1.0

First submitted
Tue, 6 Nov 2018 09:08:57 +0000
SHA1 of .buildinfo
16eb89eee4de015bffa2865b1129550ea86e3921

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.1.0-1_s390x.deb)
SHA1: adcec5745da1ad3c665e1209051000a50790cf99
SHA256: 5e40dc2bc811b0250ea7fbaef56aca0e766ab1a320ebea1dbb7213adae322a90

Size: 3,927,172 bytes
why3 (why3_1.1.0-1_s390x.deb)
SHA1: 9157a54b61cdf21e6bcd0a46bfc8d78ff38ebf2e
SHA256: b1428982c38f1978e80829798e72c62729c53523e114074122abcc05f6d3b962

Size: 25,705,968 bytes
why3-coq (why3-coq_1.1.0-1_s390x.deb)
SHA1: 340bc129a4c2ae722871a14c1e39f2ee6f301f72
SHA256: b4f4b1837845bde4ca1cfc281b5f151618afb217ab892a23b8912eb12d905ebd

Size: 588,764 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_1.1.0-1_s390x.deb
SHA1: 145269a7a1636fcabbab0385aaddd42c96467298
Size: 4,156,252 bytes
libwhy3-ocaml-dev-dbgsym_1.1.0-1_s390x.deb
SHA1: 78155066376f76599ef467576453f2f4bb9dfbef
Size: 397,368 bytes

Submissions

rhvjwqsj
Submitted
Tue, 6 Nov 2018 09:08:57 +0000
Signed by
0x562DFFD360A9BA42

Environment


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