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

Source
why3
Version
1.1.1-1
Architecture
kfreebsd-i386

Build-Origin
Debian
Build-Architecture
kfreebsd-i386
Build-Date
Tue, 18 Dec 2018 09:25:04 +0000
Build-Path
/build/why3-gZELmB/why3-1.1.1

First submitted
Tue, 18 Dec 2018 18:13:59 +0000
SHA1 of .buildinfo
0a3675dbd205fd3eb4d2ed2faa9fb82502d6f1f6

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.1.1-1_kfreebsd-i386.deb)
SHA1: aa2ef9e9b65aa2ccd30492d70ad54cedb3a7040f
SHA256: 19aaf9aeebd8db424010b6617b097262db5132a3a28cfe671a62b259ccad5f05

Size: 3,535,676 bytes
why3 (why3_1.1.1-1_kfreebsd-i386.deb)
SHA1: e0930eb9969309860b5f52d6241dd3b20cc635ac
SHA256: bd4ec63ebb4671fdaf9dde6cdca91bf53f1909565e140520a87667d3542c45be

Size: 14,814,576 bytes
why3-coq (why3-coq_1.1.1-1_kfreebsd-i386.deb)
SHA1: f48e620c87c4da5bb21020870f2ff373be85e55f
SHA256: 55334f2749f1a3e81cd8603b6f7d3158bcf7d5f8dbc014f11eccb586a6b241fa

Size: 587,876 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_1.1.1-1_kfreebsd-i386.deb
SHA1: d9561637ef6a2c7bc5ec894ea873b3f5f07aea01
Size: 5,103,120 bytes
libwhy3-ocaml-dev-dbgsym_1.1.1-1_kfreebsd-i386.deb
SHA1: 8b8eb6ca13fc0679700d8a11435f652782bfd40f
Size: 491,496 bytes

Submissions

7r4fmp9z
Submitted
Tue, 18 Dec 2018 18:13:59 +0000
Signed by
0xB193770C186A1C7D James Clarke <jrtc27@jrtc27.com>

Environment


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