why3 (1.3.3-1)_1.3.3-1+b4_ppc64el.buildinfo (view)

Source
why3 (1.3.3-1)
Version
1.3.3-1+b4
Architecture
ppc64el

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Sat, 23 Jan 2021 17:34:41 +0000
Build-Path
/build/why3-cgNwiN/why3-1.3.3

First submitted
Sat, 23 Jan 2021 18:17:52 +0000
SHA1 of .buildinfo
5ae13ec659bb239c4b774619767427a34676a2cb

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.3.3-1+b4_ppc64el.deb)
SHA1: 90bd74f317894f0d2a6cd5169a3f2560122c3912
SHA256: 7a7568e145603ccf936de9fb7ff7d3f7d3473308c9f411343c9feab6efdba447

Size: 9,885,936 bytes
libwhy3-ocaml-dev-dbgsym (libwhy3-ocaml-dev-dbgsym_1.3.3-1+b4_ppc64el.deb)
SHA1: 08ba9952d10fd302f976e342ab34883f3bb567c5
SHA256: b9455a34a3f48336107e80eb7cfe0e65cc130ef3d6da49c7eb92a2fe04d2cd03

Size: 464,564 bytes
why3 (why3_1.3.3-1+b4_ppc64el.deb)
SHA1: 38710e1703012b7f2aa35372868d7498563fb53c
SHA256: 2563d9a6a222e5131e9250ede17ba01b1f826a397312c34f993a796c002bbdd9

Size: 39,835,076 bytes
why3-coq (why3-coq_1.3.3-1+b4_ppc64el.deb)
SHA1: 21acd9e4eb9e6ae08ce80583e7f969996c03f777
SHA256: cce21ec6f3fae475a10ab78bdfaf732891d178e3d103d4f8081f10b8924ae363

Size: 757,064 bytes
why3-dbgsym (why3-dbgsym_1.3.3-1+b4_ppc64el.deb)
SHA1: 0bb82599d2082b5b2f965cb4e7094e21ab7cda7b
SHA256: 8b1a269a49aced8338e7f4c59f7bd45e3726ad7e84f20e39fdb14ea82d1433cd

Size: 6,456,716 bytes

Other checksums

Submissions

xw4iqhp9
Submitted
Sat, 23 Jan 2021 18:17:53 +0000
Signed by
0x9D2C0DB5469A3C8F

Environment


DEB_BUILD_OPTIONS="parallel=8"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1611422951"