why3_1.1.0-1_all.buildinfo (view)

Source
why3
Version
1.1.0-1
Architecture
all arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sun, 29 Dec 2019 09:18:57 +0000
Build-Path
/build/why3-1.1.0/2nd

First submitted
Mon, 26 Nov 2018 03:41:02 +0000
SHA1 of .buildinfo
a43f9e76e7e2b9f6b49d33fe3fa54b71f5437a71

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.1.0-1_arm64.deb)
SHA1: f8836a4a3a57daac6c9d1dcecb57e99254768b7c
SHA256: 2cf11c443130b95d63aeae7534be504a3d1f27249cc4d8230cbe7a7364a542af

Size: 4,709,028 bytes
why3 (why3_1.1.0-1_arm64.deb)
SHA1: a03201673611335f7aabc9e8312e390f750f2c92
SHA256: b4580c00dedb6e05c8602199db7060f997bdcb2d42e40ffb701c13cc559fb100

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

Size: 588,852 bytes
why3-doc-html (why3-doc-html_1.1.0-1_all.deb)
SHA1: c650dc9710cb3c437e9e6585e4195a7ca622a88b
SHA256: 4fe33339a739606fe0d9979e4cbc51065d9c2075da8ab46dd360db540625b2c9

Size: 355,480 bytes
why3-doc-pdf (why3-doc-pdf_1.1.0-1_all.deb)
SHA1: 101bc416f1fb382536835bcdc622b0ba9dc26573
SHA256: 789da24f8faa3d3843ab3fde01f1cd95ecc8c5abee3747a08ad0181f6ce7b3d5

Size: 1,149,856 bytes
why3-examples (why3-examples_1.1.0-1_all.deb)
SHA1: f32cb887cdaf4f858ad10a1cf7bde7ac2589296d
SHA256: 21028c6220b2ca37695a6cb31e061fb9b12deb8ed08a34c027dbb844eb05b585

Size: 2,775,072 bytes

Other checksums

why3-dbgsym_1.1.0-1_arm64.deb
SHA1: f81f8948ccc9d086969dc5bf716eee90a4bc83b9
Size: 5,567,680 bytes
libwhy3-ocaml-dev-dbgsym_1.1.0-1_arm64.deb
SHA1: 57b5a7a02f5229c8b0c44df379cc24ee950814ae
Size: 595,448 bytes

Submissions

toadrkz7
Submitted
Mon, 26 Nov 2018 03:41:03 +0000
Signed by
0xF8139FC1C7D1A40B codethink-sled9-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1541442236"