why3_0.88.3-3_amd64.buildinfo (view)

Source
why3
Version
0.88.3-3
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 27 May 2018 12:58:46 +0000
Build-Path
/build/why3-dGOjbr/why3-0.88.3

First submitted
Fri, 26 Oct 2018 15:35:02 +0000
SHA1 of .buildinfo
c210d9a2d48fcce9c1d96b1de7a2de548a1a8993

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.88.3-3_amd64.deb)
SHA1: 1fd14f718993ac9776bf9f4f44ec17bef45a4aa9
SHA256: b690a3b1b698f821720510666613c04056ce09fd906ef00bddde84cda458c7ca

Size: 1,860,340 bytes
why3 (why3_0.88.3-3_amd64.deb)
SHA1: b01ebe6b9a77a2d1a6a2b0141fcc269e917a31cf
SHA256: 1c6b30f6b3835dd38b034bf6332b163459ecf4b27ce8f7a75019662e55af85bd

Size: 20,794,576 bytes
why3-coq (why3-coq_0.88.3-3_amd64.deb)
SHA1: f0f444bd759697c10dc4d05b7b2907e967396363
SHA256: a61359286ea32f9f835cfdf172ba675f55a68888db07d5f298eb671d5c61c81b

Size: 2,145,860 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_0.88.3-3_amd64.deb
SHA1: c6112d252df427699ef4de076aab3c8dc7efc069
Size: 4,628,464 bytes
why3-coq-dbgsym_0.88.3-3_amd64.deb
SHA1: 2b33605911f220eaa9887e6e551773d946411be9
Size: 447,488 bytes

Submissions

vxnfvm94
Submitted
Fri, 26 Oct 2018 15:35:02 +0000
Signed by
0xC7907D26180BFD41

Environment


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