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

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

Build-Origin
Debian
Build-Architecture
mips
Build-Date
Mon, 5 Aug 2019 16:49:08 +0000
Build-Path
/build/why3-H33VzK/why3-1.2.0

First submitted
Tue, 6 Aug 2019 02:26:08 +0000
SHA1 of .buildinfo
7c3fe91eb98eb16e3ea57284fc69bafc4fe8857c

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.2.0-1+b4_mips.deb)
SHA1: 08ff9a7ce5ac8b48e345c51c5390736d1fb29770
SHA256: 5b6d44eb1422c43641893370473f749f79ed2715c64601731437832b1b8cbf74

Size: 4,094,804 bytes
why3 (why3_1.2.0-1+b4_mips.deb)
SHA1: a900fabda7ee0a6af75d5fc8b049776a801b2ad4
SHA256: 6cc1fdea2ab2cbff513a498b178925e5cc5925482fdde0b0ac5de4963180af35

Size: 54,224,264 bytes
why3-coq (why3-coq_1.2.0-1+b4_mips.deb)
SHA1: 63928894bbd98389e17424253586b21e071a1c8a
SHA256: 5ad3e77ddc9025d8a381a76af1b6cd9cec8ea765f7c02ace0950a41af3efcdd2

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

Other checksums

why3-dbgsym_1.2.0-1+b4_mips.deb
SHA1: 2c3c0080c2ba76dccac884bf7ebbbabe4b0f84df
Size: 93,648 bytes

Submissions

tu9q4hvy
Submitted
Tue, 6 Aug 2019 02:26:09 +0000
Signed by
0xC74AFEB58BA68831

Environment


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