why3 (1.3.1-3)_1.3.1-3+b1_amd64.buildinfo (view)

Source
why3 (1.3.1-3)
Version
1.3.1-3+b1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 20 Aug 2020 09:08:10 +0000
Build-Path
/build/why3-onKKsw/why3-1.3.1

First submitted
Thu, 20 Aug 2020 12:20:06 +0000
SHA1 of .buildinfo
8d45561dc0f3df42e81773ebf5dc295a2b534120

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.3.1-3+b1_amd64.deb)
SHA1: fff51780978560543719cd7c460ced127edd07b2
SHA256: ba9b20113a5f7bd2e2efaf8f492cafe6f3930d3b54ddd457b593a8da1b53bd3a

Size: 8,705,872 bytes
libwhy3-ocaml-dev-dbgsym (libwhy3-ocaml-dev-dbgsym_1.3.1-3+b1_amd64.deb)
SHA1: bf7285a4068b5945bc97ef7732a30f3103aea14c
SHA256: dda4802a61073477786b31fb5d034cb1c5854d3244c1facdf57f6f053b471fe4

Size: 594,540 bytes
why3 (why3_1.3.1-3+b1_amd64.deb)
SHA1: a6c7b5eb4c736819b1b69521ee1deb7249cb508e
SHA256: 83f6f3ae1879be6b55f1d28a082696cf48b6f17bf11e3c66a26ea46daa3c8d4c

Size: 34,046,848 bytes
why3-coq (why3-coq_1.3.1-3+b1_amd64.deb)
SHA1: 7faf46a298f1a8bfcd1303033511f39050135bbd
SHA256: c0a6299f4dfb94f618fe87f57a9d53228c529c62ca274b47077a69fc557e7d15

Size: 799,248 bytes
why3-dbgsym (why3-dbgsym_1.3.1-3+b1_amd64.deb)
SHA1: afac75ec94c450c50a2ac4a18f963460823baf71
SHA256: b74e711eed9fbdbe11366465d187182d4a4a880e30e0ddb833f44489cd60681b

Size: 7,851,152 bytes

Other checksums

Submissions

kf9ifkvy
Submitted
Thu, 20 Aug 2020 12:20:06 +0000
Signed by
0x27D29D008F31F3CA

Environment


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