why3_1.3.3-1_amd64.buildinfo (view)

Source
why3
Version
1.3.3-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Wed, 23 Sep 2020 20:56:22 +0000
Build-Path
/build/why3-gRzM3w/why3-1.3.3

First submitted
Thu, 24 Sep 2020 00:12:26 +0000
SHA1 of .buildinfo
20d26d53310571aebfcf0dff912f47ada616e93d

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.3.3-1_amd64.deb)
SHA1: 58f18f8359b852fe85569aff96e728929b064169
SHA256: 6766dfadee75ea4f9eca6788e120123b076667d2bbc6e44124d4e083ad3e6d6f

Size: 8,692,304 bytes
libwhy3-ocaml-dev-dbgsym (libwhy3-ocaml-dev-dbgsym_1.3.3-1_amd64.deb)
SHA1: d0f989ab4db7c6f4f9e4b863ffacb20819afc4c3
SHA256: bea1e5c08518cb62d74687ec87fcd811c7c0afdb99c76167bdbecd9eee64161a

Size: 595,684 bytes
why3 (why3_1.3.3-1_amd64.deb)
SHA1: c071965d5597f03fe519396dec2bbadb9216aacc
SHA256: 952112716b2a3a359a41da5a41e51cc23fc0f5e34b0b97678ec11c341933160b

Size: 34,045,212 bytes
why3-coq (why3-coq_1.3.3-1_amd64.deb)
SHA1: 80052a89af39d213dac166b38f63295122f398ad
SHA256: 06778652c1c16590960fbd96f655ca487788d4e2e08b10cfb73b628f8531e11b

Size: 756,724 bytes
why3-dbgsym (why3-dbgsym_1.3.3-1_amd64.deb)
SHA1: 405e9c7df298060e9d6d7de091b9e89a8b911571
SHA256: 39e2ea2a222dba60e4c9b4122b199d1dffae9a73a211adfce7fa7125a7f4cd1b

Size: 7,991,156 bytes

Other checksums

Submissions

kozss4qh
Submitted
Thu, 24 Sep 2020 00:12:27 +0000
Signed by
0x18EC51A4A266FD5D

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1600888995"