why3 (1.2.1-2)_1.2.1-2+b1_mipsel.buildinfo (view)

Source
why3 (1.2.1-2)
Version
1.2.1-2+b1
Architecture
mipsel

Build-Origin
Debian
Build-Architecture
mipsel
Build-Date
Sat, 9 Nov 2019 08:10:55 +0000
Build-Path
/build/why3-0PaAh2/why3-1.2.1

First submitted
Sat, 9 Nov 2019 12:34:32 +0000
SHA1 of .buildinfo
29348f27bb5d6f6d578b46cd0aaa3e03dd1fbd5c

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.2.1-2+b1_mipsel.deb)
SHA1: f78f0325a912838f08d2e17c992549663ccad108
SHA256: abc8c499dd99d807365fab1ce554b922fe66950a11ebca06f713cca0233ef33b

Size: 4,215,984 bytes
why3 (why3_1.2.1-2+b1_mipsel.deb)
SHA1: 6e1d6787ba92cf78acef1e6f7dac7564d4fda08a
SHA256: 7a5db7661a2d8a24e3bd496a714eb422bac4fce4506dcc947eb1076cbc16e24a

Size: 58,342,908 bytes
why3-coq (why3-coq_1.2.1-2+b1_mipsel.deb)
SHA1: 2b283069b6ac2f369f3580c43962a3b3ed542fb9
SHA256: aefcbd25f85e8258b69668fc2065bfed375aafe4549be48255b1b9503f4d9fa2

Size: 597,128 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_1.2.1-2+b1_mipsel.deb
SHA1: 3a518ce51c0d4bd693e9f576a0c5617cfabfe318
Size: 108,436 bytes

Submissions

azuvsgrr
Submitted
Sat, 9 Nov 2019 12:34:33 +0000
Signed by
0x885399CEDDE3D7F9

Environment


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