why3_0.87.3-2_all.buildinfo (view)

Source
why3
Version
0.87.3-2
Architecture
all i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Thu, 20 Apr 2017 06:29:58 +0000
Build-Path
/build/why3-0.87.3

First submitted
Thu, 20 Apr 2017 06:34:14 +0000
SHA1 of .buildinfo
1b37c46c53934e2d331dbc2a2445fe8095660246

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.87.3-2_i386.deb)
SHA1: 3d5b0c2141a260e0b23a6306246b12d3954b822b
SHA256: ef29da77f8e7d7a6dae2897ea3e4f50f79409a6e2339293755f457bff19dcc35

Size: 4,650,698 bytes
why3 (why3_0.87.3-2_i386.deb)
SHA1: 347ddb773143847b4854f7579ae5b19c2526ab19
SHA256: ccf8530f8603c4520d1f3c7d236585476d8746ede366ec19ae3cf278492b593d

Size: 11,401,242 bytes
why3-coq (why3-coq_0.87.3-2_i386.deb)
SHA1: 7853c915e11c5a9614e69042e96f585a4e73d271
SHA256: 55d0b8f93aaf06a31677f759b5b2129bc46af775e56b6e84535129b1fb59a136

Size: 4,983,798 bytes
why3-doc-html (why3-doc-html_0.87.3-2_all.deb)
SHA1: 185019b238c2ec441ff37d0d6eea15f25a8b3107
SHA256: d58c99bb0a5453fecabc7a256ccf7d3d8f0216c1ae2fea527b1df15d0c5e423f

Size: 725,012 bytes
why3-doc-pdf (why3-doc-pdf_0.87.3-2_all.deb)
SHA1: 929b9b9d9bedaab0cfb7d6e3dc7adc1f6c76ea3e
SHA256: a7404cbf5a2fe9e6deae83e413e4f3cd218f7e0ec451f4b5a2021a730a195932

Size: 1,228,956 bytes
why3-examples (why3-examples_0.87.3-2_all.deb)
SHA1: d576177648ff8de19f0bcf4e5adbf1ef31e72aef
SHA256: 2dcc755f6d9b831df3696ea36b8c3791f8f6c1b2deb5fca24dabbfc73b063a01

Size: 1,750,654 bytes

Other checksums

why3-dbgsym_0.87.3-2_i386.deb
SHA1: 2870e7099f8e391f17782cce7fc48abcbdfdaa0f
Size: 3,802,350 bytes
why3-coq-dbgsym_0.87.3-2_i386.deb
SHA1: c99c34460bfcd678ac00e2928716a84b8fc48255
Size: 293,326 bytes

Submissions

9p9kqxej
Submitted
Thu, 20 Apr 2017 06:34:14 +0000
Signed by
0xA6B59AB7CD69D4AC profitbricks-build2-i386 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=10"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1485028928"