why3 (1.2.1-2)_1.2.1-2+b3_s390x.buildinfo (view)

Source
why3 (1.2.1-2)
Version
1.2.1-2+b3
Architecture
s390x

Build-Origin
Debian
Build-Architecture
s390x
Build-Date
Wed, 22 Jan 2020 15:33:00 +0000
Build-Path
/build/why3-SS6fUg/why3-1.2.1

First submitted
Wed, 22 Jan 2020 18:53:11 +0000
SHA1 of .buildinfo
78078d423777e797c3b9ee5668b40c3c40fb8a2f

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.2.1-2+b3_s390x.deb)
SHA1: 21777183c07b28e760cfdf24842839f2c57914c8
SHA256: 4c7d9af2ac528fc64ca42088c6f99b6d1591f866029adc0354ecb65b8fe3a43c

Size: 8,048,200 bytes
why3 (why3_1.2.1-2+b3_s390x.deb)
SHA1: 12dcb65780ab3fd3cfd4f31c5292f4ab35890a3e
SHA256: 02b409c00fbe822a5a78842ba6b898f3f61673cc6b069953e5746584e509108a

Size: 31,893,400 bytes
why3-coq (why3-coq_1.2.1-2+b3_s390x.deb)
SHA1: 4a9722821627455a684c9254952b4fd090a94ddd
SHA256: 24e2373f718892b9e7e0de2ffbad4e1150d2582a9e61ffd0b835b8294e5621dc

Size: 596,064 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_1.2.1-2+b3_s390x.deb
SHA1: 4bfae3bf9e36c7516216147a17d797c312aefd8e
Size: 5,153,892 bytes
libwhy3-ocaml-dev-dbgsym_1.2.1-2+b3_s390x.deb
SHA1: 5c04e96557494dc9f6e1be8a60d6d99e4b1b4d9d
Size: 419,516 bytes

Submissions

rwu7hxy7
Submitted
Wed, 22 Jan 2020 18:53:12 +0000
Signed by
0xB5B68F9C8464675F

Environment


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