coq-ext-lib (0.11.7-1)_0.11.7-1+b2_s390x.buildinfo (view)

Source
coq-ext-lib (0.11.7-1)
Version
0.11.7-1+b2
Architecture
s390x

Build-Origin
Debian
Build-Architecture
s390x
Build-Date
Wed, 30 Nov 2022 03:50:17 +0000
Build-Path
/build/coq-ext-lib-IJ14Wn/coq-ext-lib-0.11.7

First submitted
Wed, 30 Nov 2022 06:18:13 +0000
SHA1 of .buildinfo
b0d360a8e2b441cc08cc74a5bd3fdf207737a4a2

Binaries

libcoq-ext-lib (libcoq-ext-lib_0.11.7-1+b2_s390x.deb)
SHA1: a0982c103022c08ed15d2471be03240e9a56d6eb
SHA256: 3d56b3fddbf6c3da96dc296b7db54023c4b72c96dbf5d5c0c65012cda1b6bb20

Size: 758,044 bytes

Other checksums

Submissions

orkgwbxq
Submitted
Wed, 30 Nov 2022 06:18:14 +0000
Signed by
0x5E6C03B7704A09D2

Environment


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