why3 (1.3.1-3)_1.3.1-3+b2_ppc64el.buildinfo (view)

Source
why3 (1.3.1-3)
Version
1.3.1-3+b2
Architecture
ppc64el

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Sun, 23 Aug 2020 06:01:54 +0000
Build-Path
/build/why3-SEhJLF/why3-1.3.1

First submitted
Sun, 23 Aug 2020 12:11:11 +0000
SHA1 of .buildinfo
2a03ff952106edfebcf2184d215ca91418a84e47

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.3.1-3+b2_ppc64el.deb)
SHA1: 592fd6d30929cbb42701da0ca106b9afcd9a9e56
SHA256: b7346d0ef3caf64d82493516093b11ee19371110dab44d2e64c718f85f813f7e

Size: 8,979,372 bytes
libwhy3-ocaml-dev-dbgsym (libwhy3-ocaml-dev-dbgsym_1.3.1-3+b2_ppc64el.deb)
SHA1: a34b9718e0b13f5717fb9a1502d0a1895288c82f
SHA256: 2d53820f9bf7d5c9fe8a388734d3e2e5a58d10e3395f01ca0e22a68c7d190dd7

Size: 471,652 bytes
why3 (why3_1.3.1-3+b2_ppc64el.deb)
SHA1: 86fc06ac1ca911992e3a77f85718e52af8151fb4
SHA256: 126f3ec7728fcf872aa25aec58f38e6d4ac09902a10b841f4be3588704b0b949

Size: 36,849,724 bytes
why3-coq (why3-coq_1.3.1-3+b2_ppc64el.deb)
SHA1: fba53cf3eb1ff558b16047abe0964795ebb2c4d7
SHA256: b0be6c8b55a4857b3ce55f85bf68bde6b440d47bb2ee11cd9b0aebac0e7f7bb2

Size: 794,792 bytes
why3-dbgsym (why3-dbgsym_1.3.1-3+b2_ppc64el.deb)
SHA1: a26bdd94a472b97e4649e4b32711415c48253576
SHA256: 8d14b046742fd1904dea95940a2b80e24d11986ebad22855686e536888e30493

Size: 5,875,444 bytes

Other checksums

Submissions

cto94ori
Submitted
Sun, 23 Aug 2020 12:11:11 +0000
Signed by
0xBABB02E08CB68C5D

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1598162184"