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

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

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 31 May 2025 07:06:18 +0000
Build-Path
/build/reproducible-path/coq-bignums-9.0.0+coq8.19

First submitted
Sun, 28 Apr 2024 00:53:17 +0000
SHA1 of .buildinfo
be0109ea1ac3efbe25ad97fe9901ef067cf96ab7

Binaries

libcoq-bignums (libcoq-bignums_9.0.0+coq8.19-1_amd64.deb)
SHA1: 4e5e894110c1865423012b0c26b4faa200cd7606
SHA256: 5ed7990ea3caf1b3f69b564c6c91f5a06ef8ad536eda8df40d53d1ffab90750f

Size: 1,928,516 bytes
libcoq-bignums-dbgsym (libcoq-bignums-dbgsym_9.0.0+coq8.19-1_amd64.deb)
SHA1: ba6ef476266ee2e13f2cb72fbc641025968c9eee
SHA256: d825d444959cbc940ed1e0b96bad248eeaa4a0a214a8f67efd02e2fe3bd9fe57

Size: 3,504 bytes

Other checksums

Submissions

npsqyiyc
Submitted
Sun, 28 Apr 2024 00:53:17 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=42 "
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1708764713"