why3_1.3.3-1_all.buildinfo (view)

Source
why3
Version
1.3.3-1
Architecture
all

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Wed, 23 Sep 2020 20:50:55 +0000
Build-Path
/build/why3-lTp8gs/why3-1.3.3

First submitted
Thu, 24 Sep 2020 00:11:28 +0000
SHA1 of .buildinfo
3084c482854063fc770dc05968b0b9f287e07459

Binaries

why3-doc-html (why3-doc-html_1.3.3-1_all.deb)
SHA1: bf53e9f9b143e71b572ec33a0f1e27385f1cc2ac
SHA256: 44082e8294cdae4a6d86721caa7f1c21a7957f37fd84d0e8196a61644e46d502

Size: 960,332 bytes
why3-doc-pdf (why3-doc-pdf_1.3.3-1_all.deb)
SHA1: dd1818e242e89dc8757ca8b3192e2ce3f0759fa8
SHA256: cc86bf3271c824fdedc75f1723f32db3cac978765db137b3988ca5bc2d97c547

Size: 1,056,980 bytes
why3-examples (why3-examples_1.3.3-1_all.deb)
SHA1: dab3e1c2839b0820e45db20d140a7c6d7f376e18
SHA256: 0f35aa2af55e7e6d8c0532ce9afcbfe83e13ada18c5a711e56a4313b461a476f

Size: 3,493,616 bytes

Other checksums

Submissions

v7uiagx4
Submitted
Thu, 24 Sep 2020 00:11:29 +0000
Signed by
0xC6EA344ECA1497EA

Environment


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