why3_1.2.1-1_all.buildinfo (view)

Source
why3
Version
1.2.1-1
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 3 Dec 2020 11:01:13 +0000
Build-Path
/build/why3-1.2.1

First submitted
Fri, 1 Nov 2019 05:10:39 +0000
SHA1 of .buildinfo
5457a729d3d64f0be96342b8d804207ed46bd911

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.2.1-1_amd64.deb)
SHA1: b9b362c5812453f11165da9276bf6e3b98b7ed2e
SHA256: a6c98c1bfd9193aa6d9bfacbdfed48d451698afcf3964d5f054d61a286004304

Size: 7,840,528 bytes
why3 (why3_1.2.1-1_amd64.deb)
SHA1: 4cd2e098f1b1dade04772167fe4517e6a347a861
SHA256: 3d4617808998f6925c0b0dba5356ac281723561d3636ce13643acdfd05ccc058

Size: 30,218,420 bytes
why3-coq (why3-coq_1.2.1-1_amd64.deb)
SHA1: 931146f4bda82eb8a69f494dbff813f2ad01ef34
SHA256: 81ca453e10ea2e2be9fedadd766de61e6dbfd762093f93de10895cf26949c04c

Size: 596,628 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_amd64.deb
SHA1: c8d253d80f2877127213fce0a6a8e09704dd9476
Size: 6,211,552 bytes
libwhy3-ocaml-dev-dbgsym_1.2.1-1_amd64.deb
SHA1: 98ea7f0323f57e793d948dcfa91741c593aebbbd
Size: 513,564 bytes

Submissions

mgwa3kvv
Submitted
Fri, 1 Nov 2019 05:10:39 +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="1572284919"