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

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

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 8 Nov 2019 19:30:41 +0000
Build-Path
/build/why3-NrSq20/why3-1.2.1

First submitted
Sat, 9 Nov 2019 01:17:41 +0000
SHA1 of .buildinfo
ba27b1f42a8509d40e0e01ca2f0b2b78a9ee5788

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.2.1-2+b1_amd64.deb)
SHA1: 2c2e0ef9b4a0b62df37377317fe830d11aeebe4f
SHA256: 57b3b77f906926a61c999a278f804065a585a2b73dc445e2bb2cc36d6bb0a6b1

Size: 7,978,536 bytes
why3 (why3_1.2.1-2+b1_amd64.deb)
SHA1: c767a8d2299e78ecd9c96c191e0ce8728b83f0b0
SHA256: 8eec6beeb3c2f59f0d013666548248104cd254cb7849d68d862351d1caa6a62c

Size: 30,793,736 bytes
why3-coq (why3-coq_1.2.1-2+b1_amd64.deb)
SHA1: ad307599a3afb4750fd9e1a6d0a42ea4f3cbee1b
SHA256: 748b2d70a2305f631b12f9e54fc76e1917ec4017243cab7bdfabb3693f3c4202

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

Other checksums

why3-dbgsym_1.2.1-2+b1_amd64.deb
SHA1: 82475eb23c605bddb079946100d554f421a49b86
Size: 6,774,548 bytes
libwhy3-ocaml-dev-dbgsym_1.2.1-2+b1_amd64.deb
SHA1: 3e446b2ba2f4a7e40f00bd9b56e590427146634d
Size: 542,936 bytes

Submissions

yx49w9eh
Submitted
Sat, 9 Nov 2019 01:17:41 +0000
Signed by
0xE9BEE1DBDA111424

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1573241169"