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

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

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Tue, 18 Feb 2025 08:14:51 +0000
Build-Path
/build/reproducible-path/paramcoq-1.1.3+coq8.18

First submitted
Wed, 17 Jan 2024 01:52:41 +0000
SHA1 of .buildinfo
a06c97e23d144c102606c33551dcaf71060f474c

Binaries

libcoq-paramcoq (libcoq-paramcoq_1.1.3+coq8.18-1_arm64.deb)
SHA1: e1088639f8c2a1edb37a933e2e36101ff8a5577d
SHA256: 42b2289415616c92e91c69bb671674711e4f8da64bf9119566f92505e2c6f04b

Size: 124,208 bytes
libcoq-paramcoq-dbgsym (libcoq-paramcoq-dbgsym_1.1.3+coq8.18-1_arm64.deb)
SHA1: d6b6883700ca6f21ea765e36582bdb386bbeb40b
SHA256: 76bf7894023ac51ba90b00ec5fbdbd3892c5dc5e801c365b81f91248c8d69b12

Size: 14,296 bytes

Other checksums

Submissions

tgqn9cb4
Submitted
Wed, 17 Jan 2024 01:52:42 +0000
Signed by
0x8C42C611576CA54A

Environment


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