coq-bignums_9.0.0+coq8.18-1_amd64.buildinfo (view)

Source
coq-bignums
Version
9.0.0+coq8.18-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 25 May 2025 14:08:26 +0000
Build-Path
/build/reproducible-path/coq-bignums-9.0.0+coq8.18

First submitted
Mon, 22 Apr 2024 07:46:51 +0000
SHA1 of .buildinfo
14722f35c601537119442b809fde3aa1759662f3

Binaries

libcoq-bignums (libcoq-bignums_9.0.0+coq8.18-1_amd64.deb)
SHA1: ff038c55fa8eb97c8977a1503d4e8a9eb3b02174
SHA256: 2f25d66b78ee9ca7c3346a4c2b6ef2c20861b3a641bfe275c1c362874c93ad27

Size: 1,812,488 bytes
libcoq-bignums-dbgsym (libcoq-bignums-dbgsym_9.0.0+coq8.18-1_amd64.deb)
SHA1: e419377e4b307b7a9d4881f6f056777c908c7353
SHA256: 2012428af9ad7a0dbd73d453f183775e6763e8f28078c06d448b7e14b54aefb0

Size: 3,516 bytes

Other checksums

Submissions

4kywdvzu
Submitted
Mon, 22 Apr 2024 07:46:52 +0000
Signed by
0x7BFFBBE29C8D27AB

Environment


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