why3_1.3.1-2_all.buildinfo (view)

Source
why3
Version
1.3.1-2
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 11 Jun 2021 05:46:10 +0000
Build-Path
/build/why3-1.3.1

First submitted
Fri, 8 May 2020 23:24:02 +0000
SHA1 of .buildinfo
b3bf600bfe52bd5e288b01b332ead613062b87d1

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.3.1-2_amd64.deb)
SHA1: 48d2ffcf8216dc59cb5f41a3d47a52c00b815aeb
SHA256: 220bd1e51c901047e215fd37a5226f53a565a9212d0ff3d30689a84e005b6a37

Size: 8,707,868 bytes
why3 (why3_1.3.1-2_amd64.deb)
SHA1: 5f3f42b486eb9c910e028d1aef252ecc31a29222
SHA256: 819c4633dbcf0bee33f78fd8a84af9df4f09c9f2e16cccf89d09e735e1c09c37

Size: 34,030,316 bytes
why3-coq (why3-coq_1.3.1-2_amd64.deb)
SHA1: a9b270bedbcaa14964d4b1f10e0157b368795892
SHA256: 11bfd0bbe5b1fffd03d043cbb5d871572d10ac7fcdc42cd646fc12427a735bcc

Size: 799,268 bytes
why3-doc-html (why3-doc-html_1.3.1-2_all.deb)
SHA1: a1eb7e0b57251775b982c308358703d7eb20fc04
SHA256: cce240c89f97a38d3bdc2724242ea1c735502c3126da1121f0bcbc9a37ffbe24

Size: 957,904 bytes
why3-doc-pdf (why3-doc-pdf_1.3.1-2_all.deb)
SHA1: 0f4fc82956d3deccb2a3cb151f7787467e00a0c3
SHA256: 3507161ea7209cdbe6eed978acdfff1313478a5edb6985e1492dc6f96dc4c96c

Size: 1,057,672 bytes
why3-examples (why3-examples_1.3.1-2_all.deb)
SHA1: ac6cee6c6f4ea4e659d17d00c3c153d5b759a8c0
SHA256: 07dfe8be6b226f63b351a483848f3c534a1ca668128e86932616fcb3cc04e207

Size: 3,505,744 bytes

Other checksums

why3-dbgsym_1.3.1-2_amd64.deb
SHA1: 789b5e41b388ed0fa8cda82efd47c9dcfc877106
Size: 7,965,392 bytes
libwhy3-ocaml-dev-dbgsym_1.3.1-2_amd64.deb
SHA1: a4de79f92d79bcab6e61bad516aaf8b9d19ddeff
Size: 595,488 bytes

Submissions

qmfzwco7
Submitted
Fri, 8 May 2020 23:24:02 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1586279499"