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

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

Build-Origin
Debian
Build-Architecture
mipsel
Build-Date
Sun, 23 Aug 2020 06:11:45 +0000
Build-Path
/build/why3-06UAmB/why3-1.3.1

First submitted
Sun, 23 Aug 2020 12:11:18 +0000
SHA1 of .buildinfo
2ef84078b6bb1df31c7cf1a1302416bc427934a0

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.3.1-3+b2_mipsel.deb)
SHA1: d515513fafc268c38d49441e97ade5451e2486dd
SHA256: 3234b098ba6a571bfd922cc11bfad12e6a3a2a1ff22d8e072a6c2dc2d462a3a5

Size: 4,579,032 bytes
why3 (why3_1.3.1-3+b2_mipsel.deb)
SHA1: acf0db384dfa1aba3898ecd525e58697b20e91be
SHA256: 304badfa3162b9172ee8739509845f1cc1ffb7c80a73669db0c4e5ec25c96c8f

Size: 71,304,032 bytes
why3-dbgsym (why3-dbgsym_1.3.1-3+b2_mipsel.deb)
SHA1: 27f0546048aaff8536219de45f69c90df620df4e
SHA256: 624b6b0f169880a0fcd20d44c659b609a94b26ab553b99b13572958ff517608c

Size: 98,960 bytes

Other checksums

Submissions

ysdyfhgp
Submitted
Sun, 23 Aug 2020 12:11:18 +0000
Signed by
0x273BB5A38F7A12D2

Environment


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