paramcoq_1.1.3+coq8.16-2_i386.buildinfo (view)

Source
paramcoq
Version
1.1.3+coq8.16-2
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Sun, 28 Jan 2024 05:17:48 +0000
Build-Path
/build/paramcoq-1.1.3+coq8.16

First submitted
Sun, 25 Dec 2022 22:54:56 +0000
SHA1 of .buildinfo
1e9100c42ccbaef076192b585c616b4a438aa2ee

Binaries

libcoq-paramcoq (libcoq-paramcoq_1.1.3+coq8.16-2_i386.deb)
SHA1: d0b1cbadd57b838afbe4616c716e4c36022fd74b
SHA256: 7d32a9206f11bde708ddb8f22ea4b2b1821a230da8e77879432a4cd7e51e8e7c

Size: 103,208 bytes
libcoq-paramcoq-dbgsym (libcoq-paramcoq-dbgsym_1.1.3+coq8.16-2_i386.deb)
SHA1: 9d5db58f1ad78cd3aa82982c53dd7ef4908ee2a7
SHA256: 4d56997763771f1768113e7071eafd8647d38956e365ecd7373ecb5ff8243767

Size: 11,868 bytes

Other checksums

Submissions

d39avxiv
Submitted
Sun, 25 Dec 2022 22:54:56 +0000
Signed by
0x1310D22166A88B5F profitbricks-build6-i386 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=15"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1663052279"