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

Source
why3 (1.2.1-2)
Version
1.2.1-2+b2
Architecture
mips64el

Build-Origin
Debian
Build-Architecture
mips64el
Build-Date
Tue, 3 Dec 2019 14:24:49 +0000
Build-Path
/build/why3-7e43bc/why3-1.2.1

First submitted
Tue, 3 Dec 2019 18:33:59 +0000
SHA1 of .buildinfo
66c578a6b10bb6c4bd05dc138ab3548aa3d2f96b

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.2.1-2+b2_mips64el.deb)
SHA1: e04ae2897b80f683529eb847bf23c95d06e4c23b
SHA256: 1eccfdb2890b73e4aa98e3542f997bbba3858e0338f3825ebe093dc257a98e7e

Size: 4,218,460 bytes
why3 (why3_1.2.1-2+b2_mips64el.deb)
SHA1: 224f6499a6ac86a867cdf1bc8ce8b01dbc7ec9f7
SHA256: 9b1ff8e63f8cf915058e6846e4a32309603d5340f8bbd48e1e490d852b861ae8

Size: 58,399,588 bytes
why3-coq (why3-coq_1.2.1-2+b2_mips64el.deb)
SHA1: 9f6408f3a9b7d1545e0717e76ce54c48b6c8a755
SHA256: 9680efb00ea9760ada9870fe9d26d510494a385c62fdeb82d8398a28bc790c74

Size: 599,472 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_1.2.1-2+b2_mips64el.deb
SHA1: 97edb3471ca50770c371cfd7b61fee6619f31b0e
Size: 111,696 bytes

Submissions

ap4hhnvr
Submitted
Tue, 3 Dec 2019 18:34:00 +0000
Signed by
0x3443710A81671ED1

Environment


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