coq-ext-lib_0.11.7-1_amd64.buildinfo (view)

Source
coq-ext-lib
Version
0.11.7-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 13 Aug 2022 22:14:32 +0000
Build-Path
/build/coq-ext-lib-hDMYY9/coq-ext-lib-0.11.7

First submitted
Sun, 14 Aug 2022 00:16:28 +0000
SHA1 of .buildinfo
df9243e25fbe0655d072c37f6ddd162b8727c203

Binaries

libcoq-ext-lib (libcoq-ext-lib_0.11.7-1_amd64.deb)
SHA1: 942af3fe4ec92edecb052308322ec7773b5c209f
SHA256: f22d51f6e1378e67c6b88c573c7d523cf93b2add64a9da125611e2639d645557

Size: 763,812 bytes

Other checksums

Submissions

vnopjenb
Submitted
Sun, 14 Aug 2022 00:16:29 +0000
Signed by
0xA57296EC987C3292

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
LC_COLLATE="C.UTF-8"
SOURCE_DATE_EPOCH="1660426835"