why3 (1.2.0-1)_1.2.0-1+b3_mipsel.buildinfo (view)

Source
why3 (1.2.0-1)
Version
1.2.0-1+b3
Architecture
mipsel

Build-Origin
Debian
Build-Architecture
mipsel
Build-Date
Sun, 4 Aug 2019 20:10:42 +0000
Build-Path
/build/why3-9l8hkt/why3-1.2.0

First submitted
Mon, 5 Aug 2019 01:18:30 +0000
SHA1 of .buildinfo
1f9b5e53ea7578590f888e2c2cb3a72cf1d19337

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.2.0-1+b3_mipsel.deb)
SHA1: 731906d14bdfacd72f1928c65f0b69ca169927ba
SHA256: d8729df0646566af26eb9368ab097c70474ac446e11cbad4c5d54b179ee73de1

Size: 4,095,256 bytes
why3 (why3_1.2.0-1+b3_mipsel.deb)
SHA1: aeae97555f1ecfdb4d7b775778666f2c238c49b9
SHA256: 70bf47f461877c85a4eb4606b19e511c6fdbc2048492ae0c7a439d1b05ad2bd6

Size: 54,149,572 bytes
why3-coq (why3-coq_1.2.0-1+b3_mipsel.deb)
SHA1: a6ceb46fb48cf53927a76cd773b06e736d182bba
SHA256: 0027921ab05cf59d9b8b4fa6270595752e664246fdafdf18f2407c9f0ed94972

Size: 595,600 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_1.2.0-1+b3_mipsel.deb
SHA1: 69063b62ca89bbecfb3550036954cdb5343c118c
Size: 97,488 bytes

Submissions

qfpyjwnw
Submitted
Mon, 5 Aug 2019 01:18:30 +0000
Signed by
0xC0BF082DA8AD6020

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1564948305"