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

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

Build-Origin
Debian
Build-Architecture
armel
Build-Date
Sun, 23 Aug 2020 05:59:20 +0000
Build-Path
/build/why3-8bUeBy/why3-1.3.1

First submitted
Sun, 23 Aug 2020 12:11:08 +0000
SHA1 of .buildinfo
5736705a61e462d215928f79ea641ce3928e5004

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.3.1-3+b2_armel.deb)
SHA1: ab52882cb6002e2f881a88145f34723b80c1c4f1
SHA256: 1fdce9ede5bf1f6ff227f502507caa9f95b07ca7460afbc6f9f5e5929a9e70d7

Size: 4,577,452 bytes
why3 (why3_1.3.1-3+b2_armel.deb)
SHA1: 723e1e11cc3b02f5f56571c25e109091969b6b4c
SHA256: 82267db856723057086bcf4a2c7def0200d08739e55b24e362968243c29bf712

Size: 71,272,880 bytes
why3-dbgsym (why3-dbgsym_1.3.1-3+b2_armel.deb)
SHA1: f92802c18af0c4b2579bd30fbda381eafab7a826
SHA256: 61c47f5eb28ec5e4fdb30702c0cecc02076d85656c1e507daf57e8f8369dd8df

Size: 95,384 bytes

Other checksums

Submissions

9wxgiacm
Submitted
Sun, 23 Aug 2020 12:11:09 +0000
Signed by
0x71728D427DD87F65

Environment


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