why3_1.2.1-6_arm64.buildinfo (view)

Source
why3
Version
1.2.1-6
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sun, 8 Mar 2020 21:21:07 +0000
Build-Path
/build/why3-PkMSMX/why3-1.2.1

First submitted
Mon, 9 Mar 2020 00:14:24 +0000
SHA1 of .buildinfo
44c40955cffa4b9a7e2a5fa6f0562ac5293457ae

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.2.1-6_arm64.deb)
SHA1: a42c900fde4a8f1e8735a3545a5ea90880539802
SHA256: 527279d1178803d04a2375e5129a16c728eb100bbf13f1a8371848d46684889c

Size: 8,744,124 bytes
why3 (why3_1.2.1-6_arm64.deb)
SHA1: 6e41c59d0556b6feec976e3ad2bb86008ebc7383
SHA256: b50e76d10f06a2a15b3523abf7cde81ce611deeed35e653675fe0a74ff7b0910

Size: 39,329,500 bytes
why3-coq (why3-coq_1.2.1-6_arm64.deb)
SHA1: b8a8858647c135bccec39a95609172da3c67680d
SHA256: 0a95f08d59c38a20ca3073a69ffb80221bafa99188159f6954b300b9d01525d3

Size: 592,208 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_1.2.1-6_arm64.deb
SHA1: 691d5332c6165256f75d47c2f8b65a10dc5d4c3a
Size: 6,793,900 bytes
libwhy3-ocaml-dev-dbgsym_1.2.1-6_arm64.deb
SHA1: 4151f0a784beacf652387af5b04185f74ef11bef
Size: 616,172 bytes

Submissions

4djfuhzf
Submitted
Mon, 9 Mar 2020 00:14:24 +0000
Signed by
0x8B2E5DF2A73F28C7

Environment


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