why3 (1.1.0-1)_1.1.0-1+b1_s390x.buildinfo (view)

Source
why3 (1.1.0-1)
Version
1.1.0-1+b1
Architecture
s390x

Build-Origin
Debian
Build-Architecture
s390x
Build-Date
Mon, 19 Nov 2018 18:36:25 +0000
Build-Path
/build/why3-PUpxT7/why3-1.1.0

First submitted
Mon, 19 Nov 2018 19:01:10 +0000
SHA1 of .buildinfo
3dd3ccb44296df56c12a4aa45bef556c28793356

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.1.0-1+b1_s390x.deb)
SHA1: c167d516fe7ebb22f6144fd24a4490dc2443160d
SHA256: f68703e66b2c9c1aec9204066fc13c4d46ad4a5fdee89d869ff9474e51431f8b

Size: 3,958,304 bytes
why3 (why3_1.1.0-1+b1_s390x.deb)
SHA1: 4beb411545ef32fd92fb022c4848579556ef5f05
SHA256: 7757f25b93b37a2955d6fdfb6e2a03a9c136004b3be06bc4b1501ec3728c97b7

Size: 25,739,296 bytes
why3-coq (why3-coq_1.1.0-1+b1_s390x.deb)
SHA1: 47c3fc1e830372911eb18b2494e61be6d642dcfd
SHA256: 9a68cf71ccd0163ad60588c8c0d848fc052cb179931c076c4127637bbb065dfe

Size: 589,236 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_1.1.0-1+b1_s390x.deb
SHA1: cf07bf382f7354c83dce43a170ac115f371b9b41
Size: 4,117,556 bytes
libwhy3-ocaml-dev-dbgsym_1.1.0-1+b1_s390x.deb
SHA1: 9d92b9dc3570cac15e532f9afa5c04fc6a42275a
Size: 395,836 bytes

Submissions

3ayvx4qe
Submitted
Mon, 19 Nov 2018 19:01:10 +0000
Signed by
0x562DFFD360A9BA42

Environment


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