paramcoq_1.1.3+coq8.17-2_armhf.buildinfo (view)

Source
paramcoq
Version
1.1.3+coq8.17-2
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Mon, 22 Jan 2024 12:00:54 +0000
Build-Path
/build/reproducible-path/paramcoq-1.1.3+coq8.17

First submitted
Mon, 22 Jan 2024 12:05:36 +0000
SHA1 of .buildinfo
9e04c95b7f43cbb2aa1f7a1809266639902545da

Binaries

libcoq-paramcoq (libcoq-paramcoq_1.1.3+coq8.17-2_armhf.deb)
SHA1: a0ef470504a1ea3e665207da64fa2c6844029ee0
SHA256: 2cdfc0bd89d4ec8ae9a445362596e0b1d3a93b71f727f676d2996d178c30a7e2

Size: 112,300 bytes
libcoq-paramcoq-dbgsym (libcoq-paramcoq-dbgsym_1.1.3+coq8.17-2_armhf.deb)
SHA1: f6a502720de8e646db9164edb796138b48383441
SHA256: 79c090128260d0b91225cec1034b2ab26819ffca1390cb18c56e7c4ddf70f3ce

Size: 14,356 bytes

Other checksums

Submissions

7czuv33h
Submitted
Mon, 22 Jan 2024 12:05:36 +0000
Signed by
0x2BBA298F216A5729 ff64a (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=5 "
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1690272170"