why3 (1.3.3-1)_1.3.3-1+b1_mips64el.buildinfo (view)

Source
why3 (1.3.3-1)
Version
1.3.3-1+b1
Architecture
mips64el

Build-Origin
Debian
Build-Architecture
mips64el
Build-Date
Fri, 16 Oct 2020 04:06:46 +0000
Build-Path
/build/why3-v8XBhR/why3-1.3.3

First submitted
Fri, 16 Oct 2020 06:18:40 +0000
SHA1 of .buildinfo
f608befeb1e9afb70132e78f25b381403b3d93b4

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.3.3-1+b1_mips64el.deb)
SHA1: 4eb16cdbb7080602b120d24ed63c52259133426e
SHA256: c8d9ed90e555aa57c840b20075bfb43dc3c91ec311131846acc403ce1e5f272f

Size: 5,393,620 bytes
why3 (why3_1.3.3-1+b1_mips64el.deb)
SHA1: 65520bb89f6bc1f24314ad3dad48864521aa5bbf
SHA256: 4e2084bf0a192f7604349fa47089fb5303cffe771324d7cb98305be0b7656be0

Size: 86,894,828 bytes
why3-dbgsym (why3-dbgsym_1.3.3-1+b1_mips64el.deb)
SHA1: a9f6be6a94e8f5ddecf7ef3040723727deb06bda
SHA256: 96adbdcbae9820af2f600b6217f1f4a81faf584927975fe914d3e1b2462c2e4c

Size: 103,576 bytes

Other checksums

Submissions

q4xsjwkh
Submitted
Fri, 16 Oct 2020 06:18:40 +0000
Signed by
0x0D5565CB2A70C688

Environment


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