why3_1.1.1-2_ppc64el.buildinfo (view)

Source
why3
Version
1.1.1-2
Architecture
ppc64el

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Thu, 10 Jan 2019 21:40:46 +0000
Build-Path
/build/why3-ZKq9Da/why3-1.1.1

First submitted
Fri, 11 Jan 2019 00:12:55 +0000
SHA1 of .buildinfo
d31eaf7a1e2693ce8bc13e36f47b4b1ae75b91b5

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.1.1-2_ppc64el.deb)
SHA1: 050bafc8e68bcff64ea542215002038dfe3dbacc
SHA256: 4b472f2f016dd4947ef9a0bbeab38c24ec1e80dd5958cae5bd3c75e79aab11c9

Size: 4,240,296 bytes
why3 (why3_1.1.1-2_ppc64el.deb)
SHA1: 65d56e082d4a5eecf20c6d67404d064d966d6b98
SHA256: c96fa823e65273dffef5d480780425257abd3765a35e28d5d550f1450ffa1d34

Size: 26,943,608 bytes
why3-coq (why3-coq_1.1.1-2_ppc64el.deb)
SHA1: 4bfffb439bffcc00e5529fc5199919f1da56f0e1
SHA256: fba9694d45deedc320eaa1ca30203472cc4aa5999570ccf4e5190de5b3ef7071

Size: 598,664 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_1.1.1-2_ppc64el.deb
SHA1: fd198cef23280a1369ae1db36cc4e3c41ba10012
Size: 4,007,812 bytes
libwhy3-ocaml-dev-dbgsym_1.1.1-2_ppc64el.deb
SHA1: 7bb8c8b87f16eb7649880fe746d0d7c418a30f1f
Size: 412,044 bytes

Submissions

yuhmw4xt
Submitted
Fri, 11 Jan 2019 00:12:55 +0000
Signed by
0xAC6E0DBB4E25D933

Environment


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