coq-deriving (0.1.1-1)_0.1.1-1+b2_s390x.buildinfo (view)

Source
coq-deriving (0.1.1-1)
Version
0.1.1-1+b2
Architecture
s390x

Build-Origin
Debian
Build-Architecture
s390x
Build-Date
Fri, 22 Sep 2023 08:07:45 +0000
Build-Path
/build/reproducible-path/coq-deriving-0.1.1

First submitted
Fri, 22 Sep 2023 12:14:31 +0000
SHA1 of .buildinfo
b5eb0a9061a3b9a8b39755f3fb75fba2b7261f34

Binaries

libcoq-deriving (libcoq-deriving_0.1.1-1+b2_s390x.deb)
SHA1: 0ea47f508db197853eb689740eeea292c745d694
SHA256: 1727ca91453ce1e335dbaa73534eeea324b507c250ec4465bf3747bc9326c28b

Size: 423,092 bytes

Other checksums

Submissions

q3rn4svt
Submitted
Fri, 22 Sep 2023 12:14:31 +0000
Signed by
0x150D4418DDF133A4

Environment


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