why3_1.1.1-2_kfreebsd-amd64.buildinfo (view)

Source
why3
Version
1.1.1-2
Architecture
kfreebsd-amd64

Build-Origin
Debian
Build-Architecture
kfreebsd-amd64
Build-Date
Sat, 12 Jan 2019 12:04:50 +0000
Build-Path
/build/why3-YtbDd2/why3-1.1.1

First submitted
Sun, 13 Jan 2019 00:15:00 +0000
SHA1 of .buildinfo
30d8499164110c7d0d451f2c432be434e92f9ef0

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.1.1-2_kfreebsd-amd64.deb)
SHA1: 3d21c25114067118c7422793bed3c1f14bb7e4db
SHA256: acb9fc2ec00b3fd75e4614d1285e7d5d3640f6c979ceb84172645007ebf8757e

Size: 3,829,792 bytes
why3 (why3_1.1.1-2_kfreebsd-amd64.deb)
SHA1: e027386a78e2a51912f8c84db580ad6112aa1c03
SHA256: 18052a45ce4dadc392bcd31c10a990e78d85eee9d175540ef8a9045a92a15d44

Size: 24,950,916 bytes
why3-coq (why3-coq_1.1.1-2_kfreebsd-amd64.deb)
SHA1: d50c19905ae387ed8a2196b1e36d22dac354d81e
SHA256: 95296ceddcbdfc082a13c790838fa859f378ed3b48eb6caabbb90138392cfe72

Size: 598,376 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_1.1.1-2_kfreebsd-amd64.deb
SHA1: c6e10b59946668109ccaf75a1b083d2f4093b7d9
Size: 5,276,840 bytes
libwhy3-ocaml-dev-dbgsym_1.1.1-2_kfreebsd-amd64.deb
SHA1: 4ff93d588f260ba74c878224aaad3e57de5f931e
Size: 504,604 bytes

Submissions

wktyh77r
Submitted
Sun, 13 Jan 2019 00:15:00 +0000
Signed by
0xB193770C186A1C7D James Clarke <jrtc27@jrtc27.com>

Environment


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