coq-ext-lib (0.11.7-2)_0.11.7-2+b1_i386.buildinfo (view)

Source
coq-ext-lib (0.11.7-2)
Version
0.11.7-2+b1
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Mon, 13 Feb 2023 05:06:11 +0000
Build-Path
/build/coq-ext-lib-K36iVN/coq-ext-lib-0.11.7

First submitted
Mon, 13 Feb 2023 06:29:44 +0000
SHA1 of .buildinfo
f9dc02adf026e8b7a030d55216ef8d2b08ed5a36

Binaries

libcoq-ext-lib (libcoq-ext-lib_0.11.7-2+b1_i386.deb)
SHA1: 3c5a42827b2abf80de5097905ce5e9df9f445734
SHA256: 3ef988f7301c1536fedf16c4441f6701aa4ba170d5826b4ead39ab65bbaac2d6

Size: 757,444 bytes

Other checksums

Submissions

gs4zx4v7
Submitted
Mon, 13 Feb 2023 06:29:45 +0000
Signed by
0xD117F10F230B8522

Environment


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