why3_1.0.0-1_ppc64el.buildinfo (view)

Source
why3
Version
1.0.0-1
Architecture
ppc64el

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Wed, 27 Jun 2018 22:21:53 +0000
Build-Path
/build/why3-ZFdikg/why3-1.0.0

First submitted
Fri, 26 Oct 2018 08:00:16 +0000
SHA1 of .buildinfo
45801f6f2e4271c12bc351eb1935d222cf642fc5

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.0.0-1_ppc64el.deb)
SHA1: ddc375cd001f2675ac1ee0bc9012f07281b1bb08
SHA256: a7746c25562603a936f1c07447cfef5bfe385d96ce549e2d10c53a1a6ca39de7

Size: 4,250,512 bytes
why3 (why3_1.0.0-1_ppc64el.deb)
SHA1: 10073da2a67c7c741e539075a9bf10dcf65a5bee
SHA256: 3aaad88cc97f787f50efb9b07e1f1df3f8454732ad9b809d3383b47cbb150600

Size: 29,930,284 bytes
why3-coq (why3-coq_1.0.0-1_ppc64el.deb)
SHA1: 25c0ba3a9024d8dc8f0974af2e42fee95b5d3d66
SHA256: 27fe3caf103f402de7789e2b57b9d160144594e1675e16df3f04a8b5e1cf92c1

Size: 561,372 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_1.0.0-1_ppc64el.deb
SHA1: fd64d3d7f92f23eac41931affe1025d7e3a505ba
Size: 4,662,200 bytes
libwhy3-ocaml-dev-dbgsym_1.0.0-1_ppc64el.deb
SHA1: a2de45af26edca8eb0e43d8750baa1d55ed4cf21
Size: 410,584 bytes

Submissions

mrjdhsad
Submitted
Fri, 26 Oct 2018 08:00:17 +0000
Signed by
0x99CCF26EB5F752D2

Environment


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