why3_1.2.1-1_s390x.buildinfo (view)

Source
why3
Version
1.2.1-1
Architecture
s390x

Build-Origin
Debian
Build-Architecture
s390x
Build-Date
Wed, 30 Oct 2019 08:54:21 +0000
Build-Path
/build/why3-LdcD9F/why3-1.2.1

First submitted
Wed, 30 Oct 2019 12:33:52 +0000
SHA1 of .buildinfo
2042d400dfa6d0cfff4cb6fdfa1b61823454c187

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.2.1-1_s390x.deb)
SHA1: 937cb5c97054283dc1a970b6ae0b2f2b67e66cbd
SHA256: 547ce79ed47f74a2d63291a46ecbead71c89492c276ad619f20ab190bf72f06d

Size: 7,874,604 bytes
why3 (why3_1.2.1-1_s390x.deb)
SHA1: 465086813f0fccacee17af13892f9aae96d80458
SHA256: a9515d2347e4adc6fd40f7252e158d88b3060da15e4469e7b492ebdd6450f8a7

Size: 30,811,076 bytes
why3-coq (why3-coq_1.2.1-1_s390x.deb)
SHA1: 802fab51926ce31a678c6b5a4fdc100673a56eda
SHA256: a3a2e70892b90a2cf97159f8bdcb1d92c2b86a59f3312a9a9684bea6cbcbf421

Size: 597,140 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_1.2.1-1_s390x.deb
SHA1: 62fca415f0b8ffd701ec24ffe53747dc5e3b9a2e
Size: 4,782,820 bytes
libwhy3-ocaml-dev-dbgsym_1.2.1-1_s390x.deb
SHA1: 3f345040d2afbddb17b0efe19aae3e4124d1b68b
Size: 401,876 bytes

Submissions

oa3wgwdx
Submitted
Wed, 30 Oct 2019 12:33:53 +0000
Signed by
0x7057D4D074EA5A5F

Environment


DEB_BUILD_OPTIONS="parallel=2"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1572284919"