why3_1.1.0-1_ppc64el.buildinfo (view)

Source
why3
Version
1.1.0-1
Architecture
ppc64el

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Mon, 5 Nov 2018 21:40:32 +0000
Build-Path
/build/why3-owcxcs/why3-1.1.0

First submitted
Tue, 6 Nov 2018 09:08:56 +0000
SHA1 of .buildinfo
96a5e0ae436423ff1273ea03dd522e22f0f43e67

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.1.0-1_ppc64el.deb)
SHA1: a912b79df3c76048bf5c10fabad4308a345998ba
SHA256: b75c1d5beb46e8b27d1f41fa020856c33bb6662ecbe8f81ccb08744fceda3a32

Size: 4,297,160 bytes
why3 (why3_1.1.0-1_ppc64el.deb)
SHA1: 09c8fa04742ae9d393575c537f6bff77b3d8201b
SHA256: b8dd5b0cca21b69ab117a6b680da4197c81a161c334d616402915f145b60723f

Size: 26,963,564 bytes
why3-coq (why3-coq_1.1.0-1_ppc64el.deb)
SHA1: 2f279593a0fbdefd700cc36b9a3f0fc9fd60c9b9
SHA256: 93e30a2a4e51a6c4b74f4390f3b2caca69d3e26ab1fa9e8b6701771dff2402f2

Size: 588,808 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_1.1.0-1_ppc64el.deb
SHA1: 6a082140ba3ed0d1e2608e022cf3b6c869bcfdc3
Size: 4,055,520 bytes
libwhy3-ocaml-dev-dbgsym_1.1.0-1_ppc64el.deb
SHA1: f73c7533be7ffc6bd406538b117061c01ac996e9
Size: 414,196 bytes

Submissions

aqcyqkgz
Submitted
Tue, 6 Nov 2018 09:08:57 +0000
Signed by
0x4C112F44C05FC123

Environment


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