why3_0.88.3-1_kfreebsd-amd64.buildinfo (view)

Source
why3
Version
0.88.3-1
Architecture
kfreebsd-amd64

Build-Origin
Debian
Build-Architecture
kfreebsd-amd64
Build-Date
Tue, 3 Apr 2018 05:13:25 +0000
Build-Path
/build/why3-id05b6/why3-0.88.3

First submitted
Fri, 26 Oct 2018 18:02:08 +0000
SHA1 of .buildinfo
339b8b0eba80f212fc3540775e0f4f6ff311a3df

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_0.88.3-1_kfreebsd-amd64.deb)
SHA1: a6611f6fce8d6d952e1bbc2eb7996165e8aae78c
SHA256: bf3c785f754c738c2f7c4356daab4420d8d4d08c705553062f80dde69334c7ae

Size: 1,849,640 bytes
why3 (why3_0.88.3-1_kfreebsd-amd64.deb)
SHA1: 4cb3197af0c8f5a1e3ed98a1e38d3644332aa78c
SHA256: 17799d122b3222ea779567df906f0af67ee4dc985920d8023568f79237a90e12

Size: 20,791,392 bytes
why3-coq (why3-coq_0.88.3-1_kfreebsd-amd64.deb)
SHA1: 13a40ba58d5bd4981816c09f6422423bb8410a11
SHA256: f4b133eba5eefd0563227e6842ee9ddacb4cfb875eb712a6e1002219c61df460

Size: 2,144,652 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_0.88.3-1_kfreebsd-amd64.deb
SHA1: 2cb0d9a61b3e3c7fdf99f4f1542a62377aecfb25
Size: 4,608,592 bytes
why3-coq-dbgsym_0.88.3-1_kfreebsd-amd64.deb
SHA1: 865126fec6689e9fe2fea164f7ff1f3eb78d3fde
Size: 447,900 bytes

Submissions

xp3xyv9h
Submitted
Fri, 26 Oct 2018 18:02:09 +0000
Signed by
0xB193770C186A1C7D James Clarke <jrtc27@jrtc27.com>

Environment


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