why3 (1.2.0-1)_1.2.0-1+b2_mips.buildinfo (view)

Source
why3 (1.2.0-1)
Version
1.2.0-1+b2
Architecture
mips

Build-Origin
Debian
Build-Architecture
mips
Build-Date
Mon, 29 Jul 2019 13:49:04 +0000
Build-Path
/build/why3-qX7q7U/why3-1.2.0

First submitted
Mon, 29 Jul 2019 21:23:28 +0000
SHA1 of .buildinfo
cc99d3f041c484027c70e262e5eb8a9efec7c563

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.2.0-1+b2_mips.deb)
SHA1: 8088fd38ee518274c8727ee430c992b318df061d
SHA256: d3654087a8ff844232dcc7a3f4467f1df3f1d5347fff7a102571148c1cf87f58

Size: 4,093,880 bytes
why3 (why3_1.2.0-1+b2_mips.deb)
SHA1: e708dfc45203c6a825cccc624d56a1f71192a5d2
SHA256: 0efd797b06ce3c9e6fd1d4ab772e97a91399f7006b1a774693c0bef8e58eee18

Size: 54,227,388 bytes
why3-coq (why3-coq_1.2.0-1+b2_mips.deb)
SHA1: c244f7045484e1a95c76eb1d9e93068eb5714d87
SHA256: d9bd7bf2f34cd8c62a3b7bfd72af3a2d2155f4df0b7a6210ff5776b2ade85788

Size: 595,724 bytes
why3-doc-html ()
why3-doc-pdf ()
why3-examples ()

Other checksums

why3-dbgsym_1.2.0-1+b2_mips.deb
SHA1: 1b8295f169c425cc08ac330ba8239da42045682f
Size: 93,892 bytes

Submissions

jbzvdxhr
Submitted
Mon, 29 Jul 2019 21:23:29 +0000
Signed by
0xC74AFEB58BA68831
yapjgmqu
Submitted
Tue, 30 Jul 2019 03:38:09 +0000
Signed by
0xC74AFEB58BA68831

Environment


DEB_BUILD_OPTIONS="parallel=2"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1564406199"