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
Tue, 5 Jun 2018 10:01:26 +0000
Build-Path
/build/1st/why3-0.87.3

First submitted
Wed, 3 May 2017 04:02:23 +0000
SHA1 of .buildinfo
f5f68096def33bf406d817c3637e967c8d5337c4

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.87.3-2_i386.deb)
SHA1: 4aeaf2af3f2e31a18b0e961c0873da174ccac8df
SHA256: 7308f3ef649499fea52a8f9fd9c437c84ef8c852d570be3cc29285931118c9d9

Size: 4,650,246 bytes
why3 (why3_0.87.3-2_i386.deb)
SHA1: 7aa360a6ded9542a489b19e76a83e10d13d8feae
SHA256: 95952c3bb8ab15f0a2076aa22477fc65b8929b19cb8cc69a5a02fe38dd7808b3

Size: 11,409,790 bytes
why3-coq (why3-coq_0.87.3-2_i386.deb)
SHA1: 46f943f6525f7b743b958e91eaa7e9c70efb1baf
SHA256: 3e29fde2ce6e07e1268d8050b8bba813ec43ca8346f62662acda18f5f545be45

Size: 4,985,316 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: 1558c0634ccf1fb3435bf8f6907b5aeb92d3d807
SHA256: 3c3d6d68377b1e33fa47ddccf22c80bda79c615819a2a5b4e814dcde6222b8c0

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: 2ec421b4fb75c401229dcfff8006d3eec9f49746
Size: 3,812,448 bytes
why3-coq-dbgsym_0.87.3-2_i386.deb
SHA1: 9adb6ee746f4b8ff98e421445b0bd43854151f3f
Size: 293,950 bytes

Submissions

mwvbbbgk
Submitted
Wed, 3 May 2017 04:02:24 +0000
Signed by
0x1310D22166A88B5F profitbricks-build6-i386 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="why3_0.87.3-2=/build/1st/why3-0.87.3"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=18"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1485028928"