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

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

Build-Origin
Debian
Build-Architecture
kfreebsd-amd64
Build-Date
Mon, 19 Nov 2018 18:53:10 +0000
Build-Path
/build/why3-pX6jgf/why3-1.1.0

First submitted
Tue, 20 Nov 2018 18:14:30 +0000
SHA1 of .buildinfo
6069435ce14744b0da1067c2b5beb9bb7864f34e

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.1.0-1+b1_kfreebsd-amd64.deb)
SHA1: ebb88b4c60450bc146f787f32b6543e024d8d5af
SHA256: b21f8a2b1533418d1694f247b88c9ba4df028427f3b870a62d9a0e4ce78d8527

Size: 3,835,384 bytes
why3 (why3_1.1.0-1+b1_kfreebsd-amd64.deb)
SHA1: b3827a50885ad087ce93335b33f27ce3edcddf38
SHA256: cace7eec1e8fb8039249e3e9d34d18d9413c3085028315423e04cce68fc5a719

Size: 24,960,440 bytes
why3-coq (why3-coq_1.1.0-1+b1_kfreebsd-amd64.deb)
SHA1: 294122ec1db4b103e7fcaffe9ef2eef40421c53c
SHA256: 9c51b0a8c6cb5a489f49a50818309c324c82e6f5db5bd865fbe4313076b9919f

Size: 589,084 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_1.1.0-1+b1_kfreebsd-amd64.deb
SHA1: 9717ee0129d96965c50f258a8d1bb86fffe9d2a7
Size: 5,301,776 bytes
libwhy3-ocaml-dev-dbgsym_1.1.0-1+b1_kfreebsd-amd64.deb
SHA1: 5fce1b6a12cc91bedaf5b10318cb111f055cc937
Size: 503,976 bytes

Submissions

yp9hkkmu
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="1542653452"