why3_0.87.2-3_all.buildinfo (view)

Source
why3
Version
0.87.2-3
Architecture
all i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Wed, 4 Jan 2017 09:55:39 +0000
Build-Path
/build/why3-0.87.2/2nd

First submitted
Wed, 4 Jan 2017 10:08:54 +0000
SHA1 of .buildinfo
8ea8874c948a76ccd52eb398965a5d2d051ecbe5

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.87.2-3_i386.deb)
SHA1: 622547aab94eca7cdd4440dcc7d9b40de445fb49
SHA256: a81c61633599b51438614644e405247aee951f3c84f5e215f5a09ad292778fe1

Size: 4,644,192 bytes
why3 (why3_0.87.2-3_i386.deb)
SHA1: a419c5c5e7e1c29737730de220feb9b5c4d2c451
SHA256: 796ce6d48105c316b1faa3fe98f55cf6240316cf971880c9845c7253b2c34cb4

Size: 11,403,468 bytes
why3-coq (why3-coq_0.87.2-3_i386.deb)
SHA1: edd6eac4efcf09d7fba42acafeacace9954c250a
SHA256: 440229e4bcaaa5c3b249b1f9600f954e3d4e5f8f69b489a13703a1aeffa1bc0b

Size: 4,983,120 bytes
why3-doc-html (why3-doc-html_0.87.2-3_all.deb)
SHA1: 4a88ff9f37f857613e9c8b98e20156a1f94ed37e
SHA256: 4a8f83df284ead731b483408865af4e9c077a958f4f7648213cca519099af9d2

Size: 724,642 bytes
why3-doc-pdf (why3-doc-pdf_0.87.2-3_all.deb)
SHA1: 2fafea33d421474ca4f34ca53171a5bcedb5bcae
SHA256: c8e714cc55f417273116860b0e7a525cbdb8f7dc9a97a07dbac7b64315149fcc

Size: 1,228,200 bytes
why3-examples (why3-examples_0.87.2-3_all.deb)
SHA1: 97b52c3febffa6f3d88205adf07c50f487d3a378
SHA256: 70a3cc1efe0affd80b4e28373107bf5364e311996a8da990b6032a81e5e8864c

Size: 1,750,374 bytes

Other checksums

why3-dbgsym_0.87.2-3_i386.deb
SHA1: 72982f54e0d9742a9873d98f1c32c01e2811e4a9
Size: 3,811,222 bytes
why3-coq-dbgsym_0.87.2-3_i386.deb
SHA1: a1cc86271680915a2a3adc91f26c22ced03135e3
Size: 293,894 bytes

Submissions

ougxyniz
Submitted
Wed, 4 Jan 2017 10:08:55 +0000
Signed by
0xA6B59AB7CD69D4AC profitbricks-build2-i386 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="parallel=10"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1483473365"