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

Source
why3
Version
1.1.0-1
Architecture
kfreebsd-i386

Build-Origin
Debian
Build-Architecture
kfreebsd-i386
Build-Date
Tue, 6 Nov 2018 05:42:31 +0000
Build-Path
/build/why3-VCqDNj/why3-1.1.0

First submitted
Wed, 14 Nov 2018 23:38:14 +0000
SHA1 of .buildinfo
44d14fb2904a8186443dc61197e9208d6e7a2005

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.1.0-1_kfreebsd-i386.deb)
SHA1: 9c47cfc3b22f9ab1dd2b2324306c1ff633cdfbb9
SHA256: cb2a239ec4cf7078c13f7335d7cb41c3fff976ce4a2cf7f8247c30819fea15c2

Size: 3,526,236 bytes
why3 (why3_1.1.0-1_kfreebsd-i386.deb)
SHA1: 45b6e08453dd272aa2095f4a2b35f1f7725dc0fc
SHA256: 0b3b3a57867f04641f4cd2f1c34e0ba1582bbbcc5457afc626f212cb34a98862

Size: 14,749,504 bytes
why3-coq (why3-coq_1.1.0-1_kfreebsd-i386.deb)
SHA1: c49b85939746757df5157d680b2fc71921eca9cc
SHA256: ae0139b090c3910773009305953f53e9ed1decd8d4f942e1ae577cb018fb3bb9

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

Other checksums

why3-dbgsym_1.1.0-1_kfreebsd-i386.deb
SHA1: f30c2ae5d6c69e7f3c4244fd28298c0617dc0fd6
Size: 5,114,848 bytes
libwhy3-ocaml-dev-dbgsym_1.1.0-1_kfreebsd-i386.deb
SHA1: aac4a38304d1ba7a724ce8b7b9687dce849873ed
Size: 491,028 bytes

Submissions

3qrob73m
Submitted
Wed, 14 Nov 2018 23:38:15 +0000
Signed by
0xB193770C186A1C7D James Clarke <jrtc27@jrtc27.com>

Environment


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