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

Source
why3 (1.1.0-1)
Version
1.1.0-1+b1
Architecture
ppc64el

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Mon, 19 Nov 2018 18:38:19 +0000
Build-Path
/build/why3-v8w3SJ/why3-1.1.0

First submitted
Mon, 19 Nov 2018 19:01:05 +0000
SHA1 of .buildinfo
65ee2d781c87b614956a7eb60e30296dcdb23b0c

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.1.0-1+b1_ppc64el.deb)
SHA1: ec5cfc6b28ad530d0632a9bdbe233621c18b881a
SHA256: 2066b5870fb8bf8b85d2fffbecb7e3b46b947dcc3b66b8257b9f5a565f18aee4

Size: 4,258,896 bytes
why3 (why3_1.1.0-1+b1_ppc64el.deb)
SHA1: 3a43df417118d8013652a31b8d9913c3d20b1023
SHA256: 865db0530028e18ff1aabe95fd8120f5232aba32bb0016bb71b1ac910001dc80

Size: 26,959,688 bytes
why3-coq (why3-coq_1.1.0-1+b1_ppc64el.deb)
SHA1: 1be575f267935271305b0b2a89f1e63381ea8d2f
SHA256: 56535a93ea38c894f319e51db7dacad71ce6c356ae7c967ec7078fcb8d8031c7

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

Other checksums

why3-dbgsym_1.1.0-1+b1_ppc64el.deb
SHA1: 78963ebd2ee5bb687b4a48c77b36d80381023019
Size: 4,099,432 bytes
libwhy3-ocaml-dev-dbgsym_1.1.0-1+b1_ppc64el.deb
SHA1: a8c56a491f13f4286ee67cbfde439f55a4817d93
Size: 414,004 bytes

Submissions

bjaskowm
Submitted
Mon, 19 Nov 2018 19:01:05 +0000
Signed by
0xAC6E0DBB4E25D933

Environment


DEB_BUILD_OPTIONS="parallel=8"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1542652547"