why3 (1.1.0-1)_1.1.0-1+b1_kfreebsd-i386.buildinfo (view)

Source
why3 (1.1.0-1)
Version
1.1.0-1+b1
Architecture
kfreebsd-i386

Build-Origin
Debian
Build-Architecture
kfreebsd-i386
Build-Date
Mon, 19 Nov 2018 18:42:36 +0000
Build-Path
/build/why3-ZipOev/why3-1.1.0

First submitted
Tue, 20 Nov 2018 18:14:31 +0000
SHA1 of .buildinfo
daad865f6dcf13dc648e3f8cb387956756be0553

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.1.0-1+b1_kfreebsd-i386.deb)
SHA1: 065309f78af440e9c24ecd120a633c9b1fc6760b
SHA256: 70c8cfeaa70a441f88699cf2f599f52105a054c7e1a7be0d2141c9778ed23602

Size: 3,523,992 bytes
why3 (why3_1.1.0-1+b1_kfreebsd-i386.deb)
SHA1: 0fcfc7c21efdc65c486ca46dd174955509a38ff4
SHA256: 882c6ffafcacca214ef81f5916809802d890ac6423b3861a2736276a21b5a52b

Size: 14,763,836 bytes
why3-coq (why3-coq_1.1.0-1+b1_kfreebsd-i386.deb)
SHA1: 3569adb0af56cb64406ae6614c40a683ac0e61a7
SHA256: 698eb14cd77919b449baa29c058f8b2e6b997f035b289d2cad5624814013122f

Size: 588,072 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_1.1.0-1+b1_kfreebsd-i386.deb
SHA1: a840cdea8ad452ccccb14f91901fb56899faf179
Size: 5,114,988 bytes
libwhy3-ocaml-dev-dbgsym_1.1.0-1+b1_kfreebsd-i386.deb
SHA1: 777650be9307e66ab7fb2ed36988778396ef5978
Size: 490,424 bytes

Submissions

cb7ncome
Submitted
Tue, 20 Nov 2018 18:14:31 +0000
Signed by
0xB193770C186A1C7D James Clarke <jrtc27@jrtc27.com>

Environment


DEB_BUILD_OPTIONS="parallel=2"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1542652833"