why3 (1.1.1-4)_1.1.1-4+b1_kfreebsd-amd64.buildinfo (view)

Source
why3 (1.1.1-4)
Version
1.1.1-4+b1
Architecture
kfreebsd-amd64

Build-Origin
Debian
Build-Architecture
kfreebsd-amd64
Build-Date
Mon, 11 Feb 2019 11:55:16 +0000
Build-Path
/build/why3-Ppysbe/why3-1.1.1

First submitted
Wed, 13 Feb 2019 06:13:58 +0000
SHA1 of .buildinfo
cfc1da5a7731b9035082f9f4c192bd370b1cc26c

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.1.1-4+b1_kfreebsd-amd64.deb)
SHA1: 3fe52b1b488905603b0d84ba87108fffbb922139
SHA256: 50690e21d35aaf20515a3f0ba08a0035882a178238bfecd0015f52e78f71411a

Size: 3,823,644 bytes
why3 (why3_1.1.1-4+b1_kfreebsd-amd64.deb)
SHA1: 58b30763dae84d58c1fb6f03443ebaa528b61ca4
SHA256: af8acc52bbc9d6a0769d455b0ea4f7abb73a3e2b43dd8172432163f25693a7bc

Size: 24,937,052 bytes
why3-coq (why3-coq_1.1.1-4+b1_kfreebsd-amd64.deb)
SHA1: 2179801ede2422b54d7c539b142dac21657c499c
SHA256: c406129b446fe117a1b4f40cc373aca8ae44f766513765492d2c98a4414c3f1a

Size: 595,284 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_1.1.1-4+b1_kfreebsd-amd64.deb
SHA1: 8ff74f186e0b84e0116ad0b84501a9a7b1c05deb
Size: 5,293,976 bytes
libwhy3-ocaml-dev-dbgsym_1.1.1-4+b1_kfreebsd-amd64.deb
SHA1: 145910db5a93283a5d9f0dbbb5497a15e4f21522
Size: 504,616 bytes

Submissions

wg3wixki
Submitted
Wed, 13 Feb 2019 06:13:59 +0000
Signed by
0xB193770C186A1C7D James Clarke <jrtc27@jrtc27.com>

Environment


DEB_BUILD_OPTIONS="parallel=2"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1549885997"