paramcoq_1.1.3-1_i386.buildinfo (view)

Source
paramcoq
Version
1.1.3-1
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Sun, 15 May 2022 20:29:04 +0000
Build-Path
/build/paramcoq-E3za8l/paramcoq-1.1.3

First submitted
Mon, 16 May 2022 00:17:14 +0000
SHA1 of .buildinfo
8cc6bfb8f0d2de719ef84003a41d486002b0ec07

Binaries

libcoq-paramcoq (libcoq-paramcoq_1.1.3-1_i386.deb)
SHA1: eb7ad50b8f1ea31896b6db0203b235ab1f1affd5
SHA256: 25fbb7e127a4f25b7b770feb62a775911be04e231a34d68b18ef8af287c124f8

Size: 102,532 bytes
libcoq-paramcoq-dbgsym (libcoq-paramcoq-dbgsym_1.1.3-1_i386.deb)
SHA1: 04444e587ca662cd6b33c27a1b8277edaa96aaee
SHA256: 92a5fa76fb627e9f8994d71b1187c8044bfb3dfd2566abb098447f0be3cec99e

Size: 11,896 bytes

Other checksums

Submissions

xw9nczgh
Submitted
Mon, 16 May 2022 00:17:14 +0000
Signed by
0x393CB6ACFE6A01A3

Environment


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