paramcoq_1.1.3+coq8.19-1_arm64.buildinfo (view)

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

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sat, 31 May 2025 12:03:01 +0000
Build-Path
/build/reproducible-path/paramcoq-1.1.3+coq8.19

First submitted
Sun, 28 Apr 2024 05:40:57 +0000
SHA1 of .buildinfo
8741fe6c1df498b40a83cb16d157728902638f9f

Binaries

libcoq-paramcoq (libcoq-paramcoq_1.1.3+coq8.19-1_arm64.deb)
SHA1: 0685a4e56e1710f0116ffc61ccf8511ee274ea03
SHA256: 22f9946c26b305a760c0f506e2aebd3d5f2978a74dc894e59c2833d9a7ec46ca

Size: 118,456 bytes
libcoq-paramcoq-dbgsym (libcoq-paramcoq-dbgsym_1.1.3+coq8.19-1_arm64.deb)
SHA1: d0686940c1abff02707b2ca4cd9bd8ff8720fc2f
SHA256: 6a4983d38f2abea01758870954bae091e57132b8859d508413074d635a15aaf8

Size: 14,336 bytes

Other checksums

Submissions

cgsfnxnj
Submitted
Sun, 28 Apr 2024 05:40:57 +0000
Signed by
0x8C42C611576CA54A

Environment


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