coq-reduction-effects_0.1.4-4_s390x.buildinfo (view)

Source
coq-reduction-effects
Version
0.1.4-4
Architecture
s390x

Build-Origin
Debian
Build-Architecture
s390x
Build-Date
Tue, 13 Jun 2023 09:23:39 +0000
Build-Path
/build/coq-reduction-effects-1xuQYC/coq-reduction-effects-0.1.4

First submitted
Tue, 13 Jun 2023 12:18:20 +0000
SHA1 of .buildinfo
1e56d83e611eb7204ed46b7508c76cacd266ff9c

Binaries

libcoq-reduction-effects (libcoq-reduction-effects_0.1.4-4_s390x.deb)
SHA1: 9b0e004e483d725d4e74627a4d790cc89ce5f916
SHA256: e7d530a625f8f399d71c192a233cdab9149ad3ede8ec5a6a035c02dcd4b87957

Size: 14,100 bytes
libcoq-reduction-effects-dbgsym (libcoq-reduction-effects-dbgsym_0.1.4-4_s390x.deb)
SHA1: 3715ddd1348968c824e25baaac9cc7ecedce9bc8
SHA256: fb08012b50c99421d4a5852e79fc0efc61bb343f4f8026314411e2e12eff1c80

Size: 2,688 bytes

Other checksums

Submissions

bngvcvbc
Submitted
Tue, 13 Jun 2023 12:18:21 +0000
Signed by
0x150D4418DDF133A4

Environment


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