why3 (1.2.1-2)_1.2.1-2+b2_ppc64el.buildinfo (view)

Source
why3 (1.2.1-2)
Version
1.2.1-2+b2
Architecture
ppc64el

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Tue, 3 Dec 2019 14:12:02 +0000
Build-Path
/build/why3-EXpLFj/why3-1.2.1

First submitted
Tue, 3 Dec 2019 18:38:11 +0000
SHA1 of .buildinfo
fc80f14582345af3ff84df2855f94d949796d20d

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.2.1-2+b2_ppc64el.deb)
SHA1: 9a70a6d51e3d741a02c1236cb2043195f05766c8
SHA256: f7a3f265bb4029978b8568dbe42ac2f85f95a510f1ac51ff1f01496a18657c64

Size: 8,285,216 bytes
why3 (why3_1.2.1-2+b2_ppc64el.deb)
SHA1: d93f1de4242dcd447b0df57c447995766418dd03
SHA256: 27f12488e3234be246b3961c6148880c786a4d158953c759d310a01c1ffe3585

Size: 33,183,664 bytes
why3-coq (why3-coq_1.2.1-2+b2_ppc64el.deb)
SHA1: a3a155c121f6c3c5002657049394e30f8e859855
SHA256: 73341941a8ec6c98be3f708c371da1bfc86967dbb2dd7ff24bc7201cf5ceecb7

Size: 595,920 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_1.2.1-2+b2_ppc64el.deb
SHA1: 9158e6ac1e8dd4a24afee8f48213e27c55f7795c
Size: 5,083,652 bytes
libwhy3-ocaml-dev-dbgsym_1.2.1-2+b2_ppc64el.deb
SHA1: 981d22e28aaa862d32179e62d9a1846d50000bdc
Size: 431,320 bytes

Submissions

rojp3arj
Submitted
Tue, 3 Dec 2019 18:38:12 +0000
Signed by
0xAA4B2251A9397852

Environment


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