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
Mon, 26 Feb 2018 04:50:14 +0000
Build-Path
/build/why3-0.87.3/2nd

First submitted
Mon, 23 Jan 2017 23:27:28 +0000
SHA1 of .buildinfo
2293137b607e91296a0a63b44d37c16a6a765217

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.87.3-2_i386.deb)
SHA1: d30855f825f9d72e17b38f3e7d0f65d8ac7fdf7e
SHA256: bb33e5173a473425f4640f40c998e79ccd6cf21adca34550697938e36090ab0a

Size: 4,648,438 bytes
why3 (why3_0.87.3-2_i386.deb)
SHA1: 230489d4f5181417ecff79188a4b548f9ebc767c
SHA256: 027dae35581c73a7c32793f62f887294dd800a7af520b569a419609f04c206f4

Size: 11,391,540 bytes
why3-coq (why3-coq_0.87.3-2_i386.deb)
SHA1: b5ef6ee4eb6aedd3061e695c0407b66adde1edb8
SHA256: 746ab9857f4c835129bbd02e9e6c7858144913269d12096ef9f5ebb430881c3a

Size: 4,984,502 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: c18793cbd3a2e129c4a0c203cfa4b722ba89bc0c
SHA256: ef2287a88b3cd7e8f0a3075d0a45d16836fd8c8bf7358e297aceecbf0cb7cd35

Size: 1,228,974 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: c6927e1de694561dbe6916554b8a0a2812534d81
Size: 3,833,376 bytes
why3-coq-dbgsym_0.87.3-2_i386.deb
SHA1: c68d9fb355d4ade04ef6989672354370fa5b344e
Size: 292,568 bytes

Submissions

dyti7vuk
Submitted
Mon, 23 Jan 2017 23:27:29 +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"