why3_1.3.2-1_ppc64el.buildinfo (view)

Source
why3
Version
1.3.2-1
Architecture
ppc64el

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Fri, 11 Sep 2020 04:29:07 +0000
Build-Path
/build/why3-H7oeIQ/why3-1.3.2

First submitted
Fri, 11 Sep 2020 06:11:02 +0000
SHA1 of .buildinfo
bbbab8eb935b0541171dbd01151c9704b43791c7

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.3.2-1_ppc64el.deb)
SHA1: 4ce9472b2f0a19219ba0e9a296f4202658cd6ecb
SHA256: 30822f53ba18ba35b7a0dd304c4e425718ac666e8f06997e6bd7e4da7c0b8d9a

Size: 9,019,024 bytes
libwhy3-ocaml-dev-dbgsym (libwhy3-ocaml-dev-dbgsym_1.3.2-1_ppc64el.deb)
SHA1: 55bce13f1a10b87af25803a2839a3ad883a1f1c2
SHA256: 9868feded332dad6279bd342dc4cc4af135037adc956d72f04223bfd4a2f54a1

Size: 473,800 bytes
why3 (why3_1.3.2-1_ppc64el.deb)
SHA1: 6f45072a0ddf2c888b96d2ea4053a1360a6acdd2
SHA256: 170a34e92b71cc4c9c2553295d63f55be7eba6d51d6ea5c8970a01c5f72bc0ee

Size: 36,854,604 bytes
why3-coq (why3-coq_1.3.2-1_ppc64el.deb)
SHA1: d9cab9937df38bdac1372fd44bb9c280c8648abd
SHA256: 59ea4982c4309ea3544a7eb0186e5a1b8339f2bd8123c95358bb8e3bfdce8f6b

Size: 756,616 bytes
why3-dbgsym (why3-dbgsym_1.3.2-1_ppc64el.deb)
SHA1: c49d1ff993309b16b8d1a587bbfd2e1797f78b4d
SHA256: 14cf7e2091ec823c23734e4ff56f91797031d0733ac6c0a995262ffc3ffc5b7a

Size: 5,893,260 bytes

Other checksums

Submissions

joufkhcr
Submitted
Fri, 11 Sep 2020 06:11:02 +0000
Signed by
0xBABB02E08CB68C5D

Environment


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