why3_1.0.0-1_s390x.buildinfo (view)

Source
why3
Version
1.0.0-1
Architecture
s390x

Build-Origin
Debian
Build-Architecture
s390x
Build-Date
Wed, 27 Jun 2018 21:52:26 +0000
Build-Path
/build/why3-oSLI7b/why3-1.0.0

First submitted
Fri, 26 Oct 2018 07:59:25 +0000
SHA1 of .buildinfo
0b803a74ebb6341d22cb4346bae456bf8729ee7e

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.0.0-1_s390x.deb)
SHA1: 56f84106421d32243858964682aeebaaa50dadd2
SHA256: 0e8e0e27d420bff205a61397d07b686c4b19f6a6818caf87ef93e0a41559dc2b

Size: 3,872,520 bytes
why3 (why3_1.0.0-1_s390x.deb)
SHA1: 699419e9f4f78be497b0a51e01746ccf78c01cee
SHA256: 88366c238b52a14a847648e76453696025b5b11032328c0ac41b2d43d1bb1c08

Size: 28,566,488 bytes
why3-coq (why3-coq_1.0.0-1_s390x.deb)
SHA1: 0f4b9cda9905551a7c22b8fe428eeee88b5a1362
SHA256: 15d6a3e829cfd02b8d3bb55f025c6faccbcb299f63999852937054599a3880c2

Size: 561,456 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_1.0.0-1_s390x.deb
SHA1: 52c68c9db90a34e60fb66d08c15b9153e9e67f23
Size: 4,669,492 bytes
libwhy3-ocaml-dev-dbgsym_1.0.0-1_s390x.deb
SHA1: 6c37e10acd31d363ab8cf3c2a2d9d983bb179be7
Size: 393,392 bytes

Submissions

gthgbbs4
Submitted
Fri, 26 Oct 2018 07:59:25 +0000
Signed by
0x77610721CD6F0327

Environment


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