why3_1.2.1-2_all.buildinfo (view)

Source
why3
Version
1.2.1-2
Architecture
all arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sun, 27 Dec 2020 22:04:26 +0000
Build-Path
/build/why3-1.2.1

First submitted
Mon, 25 Nov 2019 15:43:17 +0000
SHA1 of .buildinfo
b30ce11ba2cd3f293ec200c3b1042b845027a139

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.2.1-2_arm64.deb)
SHA1: 9780ace7769f3ca8d3199cacc721543dad0bc70d
SHA256: 7d9606aad779ea8d1cb79c0f390cbcc0a296f5c39dd18a1da9b34173b938ad8f

Size: 8,750,828 bytes
why3 (why3_1.2.1-2_arm64.deb)
SHA1: e7b19cb27361a78b251e8e72e1087bc2e26b069a
SHA256: 223c9de09c949751fd721b0ff8c64884b82195ff349dfefb9f89be430d8476e7

Size: 39,366,740 bytes
why3-coq (why3-coq_1.2.1-2_arm64.deb)
SHA1: 170c42f9437ebeb7bbd0c2d681cb74a08f43180a
SHA256: 4adc68e1414888d1737b5841231551ea1721dbc0d1547a3d551b4bec1a4492f6

Size: 595,432 bytes
why3-doc-html (why3-doc-html_1.2.1-2_all.deb)
SHA1: 836f9f2f0904819a99856b4af67124acf5fd8a29
SHA256: ef0a62e17316ab6947a39fbbccc601925cba6f2366fb9930a4b6c7b8494da1c7

Size: 362,460 bytes
why3-doc-pdf (why3-doc-pdf_1.2.1-2_all.deb)
SHA1: e9892acb4c5ba5c0343d3f3ae889f05c61853321
SHA256: ad21ba8c84c88d25dac7fd86d144c540f180d88e944ba34d17b4d311c3b0b567

Size: 1,274,416 bytes
why3-examples (why3-examples_1.2.1-2_all.deb)
SHA1: 913280b2fec176a9b1ec99a39f3d7f5a5aa380a0
SHA256: 2c293ec96b3b2c7bd44914fa678f68b466de471792bf2afe2511698d2be6873b

Size: 2,473,808 bytes

Other checksums

why3-dbgsym_1.2.1-2_arm64.deb
SHA1: b5698e583da634243376ea9264428beafd8cd83b
Size: 6,804,744 bytes
libwhy3-ocaml-dev-dbgsym_1.2.1-2_arm64.deb
SHA1: 399fdec0dfd6c642e93be359064354f13d4f76fe
Size: 614,576 bytes

Submissions

d43zvgbk
Submitted
Mon, 25 Nov 2019 15:43:18 +0000
Signed by
0xB42DAAC6B200534A codethink-sled11-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="1572814928"