why3_1.1.0-1_arm64.buildinfo (view)

Source
why3
Version
1.1.0-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Mon, 5 Nov 2018 21:43:35 +0000
Build-Path
/build/why3-6U6cby/why3-1.1.0

First submitted
Tue, 6 Nov 2018 09:08:54 +0000
SHA1 of .buildinfo
789766be70b4d910d99ffa96df9650d1cfeed75e

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.1.0-1_arm64.deb)
SHA1: b2b9c1f4b2aea399fdd5489db0e9e8e652504f13
SHA256: 96aab472bc58b726e54bac1e262aa9a0b6e19c2d85a1913d6ee321546dd4bfeb

Size: 4,694,156 bytes
why3 (why3_1.1.0-1_arm64.deb)
SHA1: 3bd4100b97f88cdd3960fb99ee05e9800ca01faf
SHA256: 3da76619a388dafd6e5270485ebca687ce4da57f3a20678da735136bc8fe5788

Size: 32,283,248 bytes
why3-coq (why3-coq_1.1.0-1_arm64.deb)
SHA1: 5eead440a21a3a52a526bbeb65da84e423eb7599
SHA256: ac82cd1ebe983afa95f484da1bf47ec28924fb068fa12ebb877f67ec946a0dbe

Size: 588,852 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_1.1.0-1_arm64.deb
SHA1: 943aa8bb0e53504685d68bef7b2ff47b2cb8b2af
Size: 5,486,800 bytes
libwhy3-ocaml-dev-dbgsym_1.1.0-1_arm64.deb
SHA1: 5dc111549e24048b5568b558b7b8515df6e3db08
Size: 596,288 bytes

Submissions

habdujhj
Submitted
Tue, 6 Nov 2018 09:08:54 +0000
Signed by
0xE611BE85831E4433

Environment


DEB_BUILD_OPTIONS="parallel=8"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1541442236"