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
Sat, 31 Mar 2018 21:31:33 +0000
Build-Path
/build/1st/why3-0.87.3

First submitted
Sun, 26 Feb 2017 15:59:41 +0000
SHA1 of .buildinfo
2e5068d4191fd3c7d1fd34ae54138ea5fbac2b62

Binaries

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

Size: 4,646,410 bytes
why3 (why3_0.87.3-2_i386.deb)
SHA1: 98fd5c62425146689afdba7d28c6f7e17240507c
SHA256: 2e7af848e85d30420e3e38fe3ada47b3ed4e1fb904cae9728b49e235f9f54bde

Size: 11,408,788 bytes
why3-coq (why3-coq_0.87.3-2_i386.deb)
SHA1: 07125c097712a0015b41d9014bfdcb00a052a6ad
SHA256: e35008d54b7592a8d50b36f7e0ce49bf1eed61b2448ca1f48a197731770bbee3

Size: 4,984,012 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: d4c0e8b8fd493683874e34761447792b8100a1c9
SHA256: dfd249c8f8fc4c4c1f03e860feaffff9a066f4ae2d0154a8843897e7ddd6a22c

Size: 1,228,972 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: fd0f67f6c407dba7a388333a21090093c09224c0
Size: 3,812,458 bytes
why3-coq-dbgsym_0.87.3-2_i386.deb
SHA1: 66383ee626421762ba343bf41d3c73b828b2a079
Size: 291,982 bytes

Submissions

t9mdd3sq
Submitted
Sun, 26 Feb 2017 15:59:42 +0000
Signed by
0x1310D22166A88B5F profitbricks-build6-i386 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="parallel=18"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1485028928"