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

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

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Wed, 17 Jan 2024 01:41:26 +0000
Build-Path
/build/reproducible-path/coq-bignums-9.0.0+coq8.18

First submitted
Wed, 17 Jan 2024 01:41:34 +0000
SHA1 of .buildinfo
7afb5043fe3851b832324d2cfd01a51dea9f7ab9

Binaries

libcoq-bignums (libcoq-bignums_9.0.0+coq8.18-1_arm64.deb)
SHA1: 724ac20ff79b2c34032cc054d8baab00359094a8
SHA256: 8784c0e88b3260a9c71a16a2f39cfe8737c04ec46ccdeae59355c6202f90f299

Size: 1,812,940 bytes
libcoq-bignums-dbgsym (libcoq-bignums-dbgsym_9.0.0+coq8.18-1_arm64.deb)
SHA1: 069d77cb53fb74fb7378785c7371c10b1b43ce65
SHA256: d3b29399b90241d0362e4937de297dca75197865ea451214bdae45fe6eb8bbf9

Size: 3,696 bytes

Other checksums

Submissions

rqdbn3gn
Submitted
Wed, 17 Jan 2024 01:41:34 +0000
Signed by
0xBF8D76BED99F2426

Environment


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