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

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

Build-Origin
Debian
Build-Architecture
mips64el
Build-Date
Sun, 29 Nov 2020 10:24:33 +0000
Build-Path
/build/why3-8bF44D/why3-1.3.3

First submitted
Fri, 4 Dec 2020 04:15:21 +0000
SHA1 of .buildinfo
18cfb6f16401b0ae74d9fa129e90261397baa332

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.3.3-1+b2_mips64el.deb)
SHA1: a1634a205ab06c1a77a653204488d0513be2a9f4
SHA256: 3d4d3afc5e9c5703802e798a92450dbeda7440153892b95a3a739f8c9e981561

Size: 5,395,700 bytes
why3 (why3_1.3.3-1+b2_mips64el.deb)
SHA1: 761dd09c2a3df5fcaa9aa13d1407d6c546eab204
SHA256: a30eb65340e457c096b7eef8ce1b906f1a27070762e57a4a0c40421bf31bbda8

Size: 86,895,192 bytes
why3-dbgsym (why3-dbgsym_1.3.3-1+b2_mips64el.deb)
SHA1: 2390f5d3af6852ca1c99910d13167f9edf2dcd78
SHA256: cf3bc9d3be8429621258f613120356481bdff6c040399a8f5f15e802130a9938

Size: 103,400 bytes

Other checksums

Submissions

sqdnzued
Submitted
Fri, 4 Dec 2020 04:15:21 +0000
Signed by
0x0D5565CB2A70C688

Environment


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