why3_1.3.1-3_s390x.buildinfo (view)

Source
why3
Version
1.3.1-3
Architecture
s390x

Build-Origin
Debian
Build-Architecture
s390x
Build-Date
Sat, 15 Aug 2020 23:40:25 +0000
Build-Path
/build/why3-0kRxEu/why3-1.3.1

First submitted
Sun, 16 Aug 2020 00:13:00 +0000
SHA1 of .buildinfo
a5bb47519a25389c347b34756457ccb596f80bc5

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.3.1-3_s390x.deb)
SHA1: 053a9530f5c98339c787f73c37f808e5752bb3ce
SHA256: 9a102abc19366b4031c5916b485c18f8982c7f7d8813b4330993580e90609b1d

Size: 8,779,616 bytes
libwhy3-ocaml-dev-dbgsym (libwhy3-ocaml-dev-dbgsym_1.3.1-3_s390x.deb)
SHA1: 354a75c7fcdf02e20ddbc4f814bd201e0ae42071
SHA256: 53e844352a97fdc8b26cae1851f6e630fe1c6dc4f8ac6b2deb84dad411038e46

Size: 463,352 bytes
why3 (why3_1.3.1-3_s390x.deb)
SHA1: 92dab62b74bdbc1542c927ed02c1facc5b5d5d78
SHA256: 49bbf952729d32c12e8203f85b9c09dd88c2632d6a3d12c22fc7216410f0b680

Size: 35,514,756 bytes
why3-dbgsym (why3-dbgsym_1.3.1-3_s390x.deb)
SHA1: f5ffb0ec74de82267087a5d880f912cf8b8ed1d8
SHA256: b019b811cb41916d429012467b0857b123726ff17f4aa5675ab9f327aa43776c

Size: 6,094,264 bytes

Other checksums

Submissions

jsxr4nd4
Submitted
Sun, 16 Aug 2020 00:13:00 +0000
Signed by
0x19DDA54D1FD5EA83

Environment


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