why3_1.3.2-1_mipsel.buildinfo (view)

Source
why3
Version
1.3.2-1
Architecture
mipsel

Build-Origin
Debian
Build-Architecture
mipsel
Build-Date
Fri, 11 Sep 2020 05:28:04 +0000
Build-Path
/build/why3-CNpJes/why3-1.3.2

First submitted
Fri, 11 Sep 2020 06:12:15 +0000
SHA1 of .buildinfo
277f28b3438777d448920113dbc194ede05d5009

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.3.2-1_mipsel.deb)
SHA1: 63abc344971d419a1ca2f1e2bc19efa98f1b4a31
SHA256: 865d026396749c3ad3ca4c1840e8ad9fea457669714a2de6fd273641c2abecb9

Size: 4,578,752 bytes
why3 (why3_1.3.2-1_mipsel.deb)
SHA1: 550a9ac09fa5716d2e0cdae549ec22ada1f7775a
SHA256: a548abe58a26276d4be03f2b385587c0971421bc110318742ffb85a470ab3556

Size: 71,322,288 bytes
why3-coq (why3-coq_1.3.2-1_mipsel.deb)
SHA1: 074e577eadcc674a1851ecb114f2fef12fadfd3f
SHA256: ca9c1e1137e92ce327801d1c708fedd331657222edd74c3f81e1f56b12e82f4b

Size: 756,196 bytes
why3-dbgsym (why3-dbgsym_1.3.2-1_mipsel.deb)
SHA1: 890e6e49f95256d9f0aeb05c213244a30ad3c918
SHA256: 39bcbd1e12781420a9bbe8e798a705c901393675b80c5a1192cd1cfd7cf66c7c

Size: 98,584 bytes

Other checksums

Submissions

jipijjbf
Submitted
Fri, 11 Sep 2020 06:12:16 +0000
Signed by
0x5260FA8021822BBF

Environment


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