why3_1.1.1-4_s390x.buildinfo (view)

Source
why3
Version
1.1.1-4
Architecture
s390x

Build-Origin
Debian
Build-Architecture
s390x
Build-Date
Thu, 7 Feb 2019 09:01:30 +0000
Build-Path
/build/why3-3MKu12/why3-1.1.1

First submitted
Thu, 7 Feb 2019 12:11:31 +0000
SHA1 of .buildinfo
66fe6e9b0adbb624f84b5b2110e4b749ed056c29

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.1.1-4_s390x.deb)
SHA1: ec66edcf65f0513fca2e3aa2851143f9a1455e03
SHA256: 3aa42561605a58f3b32b57080eef959b07f450329884de07bbbb269420dca8fd

Size: 3,925,052 bytes
why3 (why3_1.1.1-4_s390x.deb)
SHA1: 11204bc5ea42f427701e6682284367097dc426e8
SHA256: 519e904b279121082ddd4de82fc2574550be85fe68970f5ba000285288a0ae9f

Size: 25,721,356 bytes
why3-coq (why3-coq_1.1.1-4_s390x.deb)
SHA1: 7704ee1c3b6de9ae7a79944914200ab414da449d
SHA256: 6b08730df3f9496b9a04d89423b076d51261363b3d43a6c14d7c1965f2e4c039

Size: 595,176 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_1.1.1-4_s390x.deb
SHA1: 2c19325afc380c608591ec395eddd9961c125359
Size: 4,132,452 bytes
libwhy3-ocaml-dev-dbgsym_1.1.1-4_s390x.deb
SHA1: 28960de129eb43d44b2745e1f4a7eaea837b6a0d
Size: 399,084 bytes

Submissions

wgsuogdf
Submitted
Thu, 7 Feb 2019 12:11:32 +0000
Signed by
0x562DFFD360A9BA42

Environment


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