Source
paramcoq
Version
1.1.3+coq8.19-1
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sun, 28 Apr 2024 14:26:39 +0000
Build-Path
/build/reproducible-path/paramcoq-1.1.3+coq8.19

First submitted
Sun, 28 Apr 2024 14:29:03 +0000
SHA1 of .buildinfo
156de37a05e32de64f9f151f76d0f4ed6b3cad03

Binaries

libcoq-paramcoq (libcoq-paramcoq_1.1.3+coq8.19-1_armhf.deb)
SHA1: 9d8bf60be6bd8a9147142e2768487691e91d9d59
SHA256: 941c570f5b901bff523dfcd013a52a96eca470a4269d8cbc6cf9ec3712d6175b

Size: 107,972 bytes
libcoq-paramcoq-dbgsym (libcoq-paramcoq-dbgsym_1.1.3+coq8.19-1_armhf.deb)
SHA1: bed6d8df6e8a9201a53f92ea9fbe123b8a70b38d
SHA256: 69bb4a69c72e3d46954fc40f9b061468b306cd56e79eb4781d8502ff3de6f419

Size: 14,296 bytes

Other checksums

Submissions

Submitted
Sun, 28 Apr 2024 14:29:03 +0000
Signed by
0x8FCA21099AC7DFA4

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=3 "
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1708765067"