why3_1.3.1-3_armel.buildinfo (view)

Source
why3
Version
1.3.1-3
Architecture
armel

Build-Origin
Debian
Build-Architecture
armel
Build-Date
Sat, 15 Aug 2020 23:44:04 +0000
Build-Path
/build/why3-PEIcIC/why3-1.3.1

First submitted
Sun, 16 Aug 2020 00:13:09 +0000
SHA1 of .buildinfo
572f85bb2fcdaf9162c75b867a1be9fe1e1f3ee7

Binaries

libwhy3-ocaml-dev (libwhy3-ocaml-dev_1.3.1-3_armel.deb)
SHA1: a8583aba08c0ac2aaeabccad78d2ca2e87945f48
SHA256: c9b69a3f2f3247e49fa07c43d8d855a1d75981db285c4d9532cb492e01249fc8

Size: 4,578,252 bytes
why3 (why3_1.3.1-3_armel.deb)
SHA1: 15b47bcb1868ec07c50e519e0ca78338cb1acf37
SHA256: 6a2e6ad6850512e09b28cdfab44e3d90363936cc506a197aaf0f8c613df286fe

Size: 71,265,164 bytes
why3-dbgsym (why3-dbgsym_1.3.1-3_armel.deb)
SHA1: 62e7745f8ed3e4f429f937204af7319774261097
SHA256: 8d076af8bc04c9c43cc02f9760355abbb80951c1abc29fa14799a156139efdbf

Size: 95,304 bytes

Other checksums

Submissions

z73o4ksr
Submitted
Sun, 16 Aug 2020 00:13:09 +0000
Signed by
0x71728D427DD87F65

Environment


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