why3_1.2.0-3_mipsel.buildinfo (view)

Source
why3
Version
1.2.0-3
Architecture
mipsel

Build-Origin
Debian
Build-Architecture
mipsel
Build-Date
Tue, 15 Oct 2019 20:46:38 +0000
Build-Path
/build/why3-71kciJ/why3-1.2.0

First submitted
Wed, 16 Oct 2019 00:45:25 +0000
SHA1 of .buildinfo
84f0309f5f5140c1c78a572dd68d5f77006fe605

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.2.0-3_mipsel.deb)
SHA1: 37d7e26af3a5e08de80b8ebbe26f3a9080a0ef0c
SHA256: a42d2e0474667ffe46809b9bac7d48d8dcdb817ce4704e5d5c6a1a4b18bdf934

Size: 4,094,152 bytes
why3 (why3_1.2.0-3_mipsel.deb)
SHA1: be9393771cf9be3f9bda16a5abeb19998ad895ed
SHA256: aeb65df02edde5a456475e7a68cd04c30c3b3a87aad58ca99321cbd5f6233969

Size: 54,126,356 bytes
why3-coq (why3-coq_1.2.0-3_mipsel.deb)
SHA1: e4da567b330463f0b4300458d08575d71a533806
SHA256: 714b3e482d7163f429de9fbf482ae10d434cab8ab96cffb377864a42f6e38588

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

Other checksums

why3-dbgsym_1.2.0-3_mipsel.deb
SHA1: 22636d6e6152ade16f8bb06dbb06a400cd77e3e3
Size: 98,792 bytes

Submissions

9p9x74yo
Submitted
Wed, 16 Oct 2019 00:45:25 +0000
Signed by
0x9E295DF36F3AE1C6

Environment


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