why3_1.0.0-2_kfreebsd-i386.buildinfo (view)

Source
why3
Version
1.0.0-2
Architecture
kfreebsd-i386

Build-Origin
Debian
Build-Architecture
kfreebsd-i386
Build-Date
Sun, 12 Aug 2018 23:27:17 +0000
Build-Path
/build/why3-hWJjfb/why3-1.0.0

First submitted
Thu, 25 Oct 2018 06:41:40 +0000
SHA1 of .buildinfo
4f9d72fe22bd13d1879d2afd271b27d973f3d7d0

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.0.0-2_kfreebsd-i386.deb)
SHA1: 8472791fe55f5057303b5f650e690fdd17873e6b
SHA256: c7f01efb5c26b3c4180554606a11ce65f48b8ed99f92c6d514859d0f0aebd961

Size: 3,486,824 bytes
why3 (why3_1.0.0-2_kfreebsd-i386.deb)
SHA1: 756a23e6e9d8c20dd85dbf3792df7df39c4dd15f
SHA256: 382af0be74b63f49b6adffb79bc839e15a3ad3b02dfe9860a65b79401fbfb94b

Size: 17,374,504 bytes
why3-coq (why3-coq_1.0.0-2_kfreebsd-i386.deb)
SHA1: 2bd0625763d0ff84aa0cdf1e6fc7ba34e2e148ea
SHA256: 8ccfbda469cc65da2fcfe4913689f364277f0b5c7500afc377f16db67c327f9e

Size: 560,668 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_1.0.0-2_kfreebsd-i386.deb
SHA1: d22b5f83114d9a9b184f8601b5932f8efd573dc0
Size: 5,770,776 bytes
libwhy3-ocaml-dev-dbgsym_1.0.0-2_kfreebsd-i386.deb
SHA1: efad572ecad162e9b77dfecce9a40170307a1ce0
Size: 486,616 bytes

Submissions

ouuttp7n
Submitted
Thu, 25 Oct 2018 06:41:40 +0000
Signed by
0xB193770C186A1C7D James Clarke <jrtc27@jrtc27.com>

Environment


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