coq-reduction-effects_0.1.3-2_s390x.buildinfo (view)

Source
coq-reduction-effects
Version
0.1.3-2
Architecture
s390x

Build-Origin
Debian
Build-Architecture
s390x
Build-Date
Fri, 22 Jul 2022 19:53:14 +0000
Build-Path
/build/coq-reduction-effects-RbHJ7w/coq-reduction-effects-0.1.3

First submitted
Sat, 23 Jul 2022 00:15:06 +0000
SHA1 of .buildinfo
78169c1dad7a014d04977d10c07c6ca87e8cf148

Binaries

libcoq-reduction-effects (libcoq-reduction-effects_0.1.3-2_s390x.deb)
SHA1: d3bffb0dba1654701ddb4042d006f053545d38b9
SHA256: 043c1f9e1dfa471b46cf62487a9778b8aaabff8f460609b4c6dfd03f6a4f951d

Size: 13,576 bytes
libcoq-reduction-effects-dbgsym (libcoq-reduction-effects-dbgsym_0.1.3-2_s390x.deb)
SHA1: 7ce7d180e313ba9efb2d075ded3a638e59d2aac5
SHA256: 31335c9cc789612d270173994d91a066ae243e73fb92cf632e4b97cd3885c902

Size: 2,708 bytes

Other checksums

Submissions

q7ccqdy9
Submitted
Sat, 23 Jul 2022 00:15:06 +0000
Signed by
0xD9FB15E7E713BF1A

Environment


DEB_BUILD_OPTIONS="parallel=2"
LANG="C.UTF-8"
LC_ALL="C.UTF-8"
LC_COLLATE="C.UTF-8"
SOURCE_DATE_EPOCH="1658213753"