why3_1.2.1-1_all.buildinfo (view)

Source
why3
Version
1.2.1-1
Architecture
all i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Thu, 3 Dec 2020 14:12:35 +0000
Build-Path
/build/1st/why3-1.2.1

First submitted
Fri, 1 Nov 2019 09:17:04 +0000
SHA1 of .buildinfo
db2e67b3759b32c5d528b69677e75b66d97ec29b

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.2.1-1_i386.deb)
SHA1: 29b4f6b1373c86621b1652bb17328638149d0b00
SHA256: 7b3f318c78e4668aa860ffc6877e6654f696c8e26ed0e87eceb95ae7773784df

Size: 7,508,880 bytes
why3 (why3_1.2.1-1_i386.deb)
SHA1: 641bf37af560ea98bf3aa5a77632967899b4d780
SHA256: de6e1a96513c94789b092abb7f0394d4a79e27cb1d31f93ba7d95847fd0b2c5f

Size: 20,035,556 bytes
why3-coq (why3-coq_1.2.1-1_i386.deb)
SHA1: ea4281e95d03c2f4a406bf96ab6a3c1cac9f940c
SHA256: bfcd2e366796e9b33c78b8b7fa50d3f7d6162f7ac75042b87c4c81a64a373a57

Size: 602,288 bytes
why3-doc-html (why3-doc-html_1.2.1-1_all.deb)
SHA1: 1dc077bb564fbad91345147bfa2fe99acc0e7cf5
SHA256: 323a5f1c92234fb840620c5475fe404b2ce9a7bc0afb582745874821417c5d86

Size: 362,468 bytes
why3-doc-pdf (why3-doc-pdf_1.2.1-1_all.deb)
SHA1: d668d7b5ae51b6f451a67a2ff44a5fcdd93c060a
SHA256: 0c96d894882c0d5c00ec7507b504b43ca0f623b57b71d7e61676db23fa748827

Size: 1,274,368 bytes
why3-examples (why3-examples_1.2.1-1_all.deb)
SHA1: 05a4d8d6a46dab36213f6d2dc855f07424429ccc
SHA256: 79fdea218f0f11c1cccd41aa471b5e50a6f4dfbad0c1d334ee94897b89f5ebe6

Size: 2,473,720 bytes

Other checksums

why3-dbgsym_1.2.1-1_i386.deb
SHA1: 99ff83f7e83e95e1e9d06a1ec8b1f274e207d3bb
Size: 5,901,416 bytes
libwhy3-ocaml-dev-dbgsym_1.2.1-1_i386.deb
SHA1: d22cdd1f517897e0931716443022c58324fd9162
Size: 498,288 bytes

Submissions

diowpyat
Submitted
Fri, 1 Nov 2019 09:17:05 +0000
Signed by
0x1310D22166A88B5F profitbricks-build6-i386 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=18"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1572284919"