why3_1.0.0-1_kfreebsd-i386.buildinfo (view)

Source
why3
Version
1.0.0-1
Architecture
kfreebsd-i386

Build-Origin
Debian
Build-Architecture
kfreebsd-i386
Build-Date
Wed, 27 Jun 2018 22:44:15 +0000
Build-Path
/build/why3-X93QjR/why3-1.0.0

First submitted
Fri, 26 Oct 2018 08:41:10 +0000
SHA1 of .buildinfo
944f8d86ec2ad73005553e9bc8687a995795d992

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.0.0-1_kfreebsd-i386.deb)
SHA1: c8e32f0685ac9e18081206a9a16af9b3bf759040
SHA256: e451749a30d741fc1c84dfc982071e08d747ee77391fec1217186173119ab033

Size: 3,485,188 bytes
why3 (why3_1.0.0-1_kfreebsd-i386.deb)
SHA1: c9fed19cf7b3a8362ac2bd743b9680203edf6cc5
SHA256: d4ac58ce65d6f06e5a21b95ad91903672a8b910a9afcb4a6624616107c5425e8

Size: 17,399,632 bytes
why3-coq (why3-coq_1.0.0-1_kfreebsd-i386.deb)
SHA1: 3db16d00b0daeea032351a9cc62838fbf23a0e01
SHA256: b5b59187fcb5d35d97f600cbe39131c46d5a69c627cb1afe9d67d339ce99f304

Size: 560,576 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_1.0.0-1_kfreebsd-i386.deb
SHA1: bab36eebb1a78d84a1b8c593b1d36fcc8545331c
Size: 5,754,472 bytes
libwhy3-ocaml-dev-dbgsym_1.0.0-1_kfreebsd-i386.deb
SHA1: 9932631eb761515750261f8c904ddfad679bd0fe
Size: 486,392 bytes

Submissions

krqhq4ne
Submitted
Fri, 26 Oct 2018 08:41:10 +0000
Signed by
0xB193770C186A1C7D James Clarke <jrtc27@jrtc27.com>

Environment


DEB_BUILD_OPTIONS="parallel=2 nocheck"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1530130773"