why3_1.2.0-2_arm64.buildinfo (view)

Source
why3
Version
1.2.0-2
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Thu, 29 Aug 2019 22:24:31 +0000
Build-Path
/build/why3-uYG3JU/why3-1.2.0

First submitted
Fri, 30 Aug 2019 12:10:50 +0000
SHA1 of .buildinfo
aa0ed567295f4231b84acdafd85a4acdb60968b7

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.2.0-2_arm64.deb)
SHA1: e9a08063b39e4e57fded049968789c8b6c0e3373
SHA256: e2ab3f8196a7ce74ed5ec960f1f8068ae061df92d6dafa3f2933a5d37785811c

Size: 8,565,836 bytes
why3 (why3_1.2.0-2_arm64.deb)
SHA1: 7cab9284ee963db73acea5df7ca64b6c9236dca9
SHA256: 8230aa39c452c9c939c09b4e28acf1895156e4637cda8aa9b86552abc76dfd57

Size: 38,300,344 bytes
why3-coq (why3-coq_1.2.0-2_arm64.deb)
SHA1: 5e7c0967d50ac21a8d0a23e8eeef4d50574ced0a
SHA256: 57d324226d9441eabc0ec338798cc1770afc2e8105bd1cea40fcf2f0c46d876b

Size: 596,668 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_1.2.0-2_arm64.deb
SHA1: 80db37a017137ab282cb0186b0c249fc9225f17f
Size: 6,505,968 bytes
libwhy3-ocaml-dev-dbgsym_1.2.0-2_arm64.deb
SHA1: 92a995f859db049ddf0505e0865268931290fab4
Size: 605,252 bytes

Submissions

ufcoxw4r
Submitted
Fri, 30 Aug 2019 12:10:50 +0000
Signed by
0x8B4E81F92C382079

Environment


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