why3_1.1.1-1_mipsel.buildinfo (view)

Source
why3
Version
1.1.1-1
Architecture
mipsel

Build-Origin
Debian
Build-Architecture
mipsel
Build-Date
Tue, 18 Dec 2018 09:31:14 +0000
Build-Path
/build/why3-TDT1Pq/why3-1.1.1

First submitted
Tue, 18 Dec 2018 12:11:34 +0000
SHA1 of .buildinfo
23c696e4ac3fc9f6e3322d0b638048401a86aeea

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.1.1-1_mipsel.deb)
SHA1: cf5d1682a6d23be968abd62a7660c5c8ecac6c2c
SHA256: 50afdbcbbab44a6c96b38bfdf59b7a4d7ac7af3408259f3171c16d58e76680ee

Size: 3,997,208 bytes
why3 (why3_1.1.1-1_mipsel.deb)
SHA1: 08e1335a06eef97587261bcb6520228f1b7cf81f
SHA256: f0e0b6bd9f6a741c236862abd4f24c1c260c93ada1bf4802ec51f03cfd2366e0

Size: 53,181,744 bytes
why3-coq (why3-coq_1.1.1-1_mipsel.deb)
SHA1: 1cf8c306cd98b8f13b473cf024d318a483688f75
SHA256: 683bf98a03efa3f74c109b1b2050a329fbd287d924989f9283ab92c99365db21

Size: 588,360 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_1.1.1-1_mipsel.deb
SHA1: d7dd4b5ab889335a8bd92ce082aaf1cfea6faf7c
Size: 53,636 bytes

Submissions

f7sddmqc
Submitted
Tue, 18 Dec 2018 12:11:34 +0000
Signed by
0xCF69A5775BDC5DFD

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1545105038"