Source
why3 (0.88.3-2)
Version
0.88.3-2+b1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 6 May 2018 07:25:17 +0000
Build-Path
/build/why3-n6OhbD/why3-0.88.3

First submitted
Fri, 26 Oct 2018 10:44:01 +0000
SHA1 of .buildinfo
e8e6a425a506bdb88b29c0943c1a9f39f2e1d131

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.88.3-2+b1_amd64.deb)
SHA1: 3829120eabeb361f47b08fa7b185b51c87f7de6d
SHA256: a343c38ed7aa77758a8956b5e3e907efd7e4d941c567dde6ee46ee93e28f0595

Size: 1,871,952 bytes
why3 (why3_0.88.3-2+b1_amd64.deb)
SHA1: 15be974e7cffcf95ba503a5b79330852f0e57f53
SHA256: 847a07620e9ba502a7e07fc1d046cfecd1f9e4471cdedf767f6b67d60c6af3f2

Size: 20,797,748 bytes
why3-coq (why3-coq_0.88.3-2+b1_amd64.deb)
SHA1: cf0cd278b074ec744175e96738939ceef244364a
SHA256: d0a93cdb2c7058ac7384b81b9fb7f6139a8986f09b41d303562cc1dffca3c127

Size: 2,145,220 bytes

Other checksums

why3-dbgsym_0.88.3-2+b1_amd64.deb
SHA1: c6f50608b15629729bf1d744f6eca77324085b03
Size: 4,580,616 bytes
why3-coq-dbgsym_0.88.3-2+b1_amd64.deb
SHA1: 74e347ce06e5a4f57bb61e7a856414f2636df29d
Size: 449,184 bytes

Submissions

Submitted
Fri, 26 Oct 2018 10:44:01 +0000
Signed by
0xE8B8553D9A35F676

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1525591325"