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

Build-Origin
Debian
Build-Architecture
s390x
Build-Date
Sun, 23 Jul 2023 22:28:55 +0000
Build-Path
/build/reproducible-path/coq-deriving-0.1.1

First submitted
Mon, 24 Jul 2023 00:18:26 +0000
SHA1 of .buildinfo
1427893494a59dea15709d113628ca2ecad31548

Binaries

libcoq-deriving (libcoq-deriving_0.1.1-1+b1_s390x.deb)
SHA1: fa482555f6ec1cf28d1116c776c1e0d2e10fc7f5
SHA256: 83cdf20c6115d48c07153e6f61381ca06d4a020a960d88ab01a4330f8fef5bfa

Size: 423,032 bytes

Other checksums

Submissions

Submitted
Mon, 24 Jul 2023 00:18:27 +0000
Signed by
0x150D4418DDF133A4

Environment


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