why3 (1.3.1-3)_1.3.1-3+b1_mipsel.buildinfo (view)

Source
why3 (1.3.1-3)
Version
1.3.1-3+b1
Architecture
mipsel

Build-Origin
Debian
Build-Architecture
mipsel
Build-Date
Thu, 20 Aug 2020 09:27:57 +0000
Build-Path
/build/why3-RlwD4X/why3-1.3.1

First submitted
Thu, 20 Aug 2020 12:22:58 +0000
SHA1 of .buildinfo
7afbfcab195bea6ba30e71ff62df605ab3bb31f1

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.3.1-3+b1_mipsel.deb)
SHA1: 760c588a550d73cbc81bf2717fc2a2efd2085edc
SHA256: 4e078b14107e80fe16fca5a40a6035d9fffb118c1f8639d6e7d49f65974dba2e

Size: 4,578,048 bytes
why3 (why3_1.3.1-3+b1_mipsel.deb)
SHA1: 8c7574eb1fb991e0e0e38f5ad10380b29d7b497e
SHA256: 0d87ddb42d2d13ed8db1382920640325ae8cbe7d724c2cb8b12ac5a5571a835f

Size: 71,299,900 bytes
why3-dbgsym (why3-dbgsym_1.3.1-3+b1_mipsel.deb)
SHA1: 68c94222996c0a0e25c9841bbcf3b296622bd943
SHA256: 38348f0125079005aeb1f92d555ea8ada9f78735418b7e581e38804d4556c161

Size: 98,720 bytes

Other checksums

Submissions

ngsjgpkd
Submitted
Thu, 20 Aug 2020 12:22:59 +0000
Signed by
0x6464A4F58A51774F

Environment


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