why3 (0.87.3-2)_0.87.3-2+b3_i386.buildinfo (view)

Source
why3 (0.87.3-2)
Version
0.87.3-2+b3
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Sat, 22 Jul 2017 06:57:04 +0000
Build-Path
/build/why3-m0JGWR/why3-0.87.3

First submitted
Sun, 28 Oct 2018 01:59:28 +0000
SHA1 of .buildinfo
4f7d0d6d2c4fd5a8850cdcd1d364c2430a6a949f

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.87.3-2+b3_i386.deb)
SHA1: fe782a3c7d9e7b7e93a9af3a17c306e830dd0893
SHA256: 9d828fe9caf6917ede80a556cf8aa7e7d54340a66f6bf2c1d6e9dcbe5928d010

Size: 4,654,594 bytes
why3 (why3_0.87.3-2+b3_i386.deb)
SHA1: 1f36d85d5e771a867a9e691bfab41eb8a80a0873
SHA256: e6c2b66ff5c988205ecf06730ac3ed43b28f8591e349696464954f6c2ac55f93

Size: 11,431,658 bytes
why3-coq (why3-coq_0.87.3-2+b3_i386.deb)
SHA1: 32a7e0f65b5500d7e24dfc708a15869863ed0aaf
SHA256: c5ac81d545f688d85395fc9ff656574575ac0b5902bc4ab36ea733e7d87bad6c

Size: 5,000,224 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_0.87.3-2+b3_i386.deb
SHA1: 53e03dac17e3b5ec5582b8b5a4823a69120a1125
Size: 3,842,686 bytes
why3-coq-dbgsym_0.87.3-2+b3_i386.deb
SHA1: 3d64a696483f9def4c76628e10947be494e66899
Size: 293,468 bytes

Submissions

qmfkxey3
Submitted
Sun, 28 Oct 2018 01:59:29 +0000
Signed by
0x46CAF9BAF7575C4A

Environment


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