why3_0.87.3-2_all.buildinfo (view)

Source
why3
Version
0.87.3-2
Architecture
all armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Fri, 24 Feb 2017 20:54:48 +0000
Build-Path
/build/why3-0.87.3/2nd

First submitted
Fri, 24 Feb 2017 21:51:33 +0000
SHA1 of .buildinfo
377b2f99f56042d78240fba3b9d1b5f4c6553c80

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.87.3-2_armhf.deb)
SHA1: a17e83401fd7575cfcc0a4a9c6ea05b37d0c6f06
SHA256: 41edd67d03ca6f931499b734cba708281674aa1590947ecea15ccd2d35544fae

Size: 4,918,986 bytes
why3 (why3_0.87.3-2_armhf.deb)
SHA1: 2a554a254c9ca4a74bf22e683ccf6b57ef279eca
SHA256: c2c7d66412c605afd95a74b87cdfafa1326ba24ca6f12705ebef9a75134a1f50

Size: 11,247,056 bytes
why3-coq (why3-coq_0.87.3-2_armhf.deb)
SHA1: 20748e01609d39ca33a6939e83a229cdc1ce3444
SHA256: 7c2c81b4e02f66f3592824dc399e9b854ebed37ce4b7721d3bf64e94a059f73a

Size: 5,182,100 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_armhf.deb
SHA1: ba1baebcb03625a6cac52c970ae11f1ce75f4da6
Size: 4,115,908 bytes
why3-coq-dbgsym_0.87.3-2_armhf.deb
SHA1: 52d93c509b80c34da9a45ce8f40c171535da31a5
Size: 317,630 bytes

Submissions

ggovyiuk
Submitted
Fri, 24 Feb 2017 21:51:34 +0000
Signed by
0xF953D4EB72400A7A cbxi4a (Automatically generated key for signing .buildinfo files)

Environment


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