coq-bignums_8.17.0-3_arm64.buildinfo (view)

Source
coq-bignums
Version
8.17.0-3
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Fri, 8 Dec 2023 08:14:18 +0000
Build-Path
/build/reproducible-path/coq-bignums-8.17.0

First submitted
Fri, 8 Dec 2023 08:14:25 +0000
SHA1 of .buildinfo
c24c778b4da9f0befb6f80968bd3d596787d1daa

Binaries

libcoq-bignums (libcoq-bignums_8.17.0-3_arm64.deb)
SHA1: f1700ed85f4ce779d1e8f449183f7f02f8db0e14
SHA256: 8873ff468b94186683cd17311a8c3ef2bfb7f8eaee8834b58bb84feba95a4f39

Size: 1,824,616 bytes
libcoq-bignums-dbgsym (libcoq-bignums-dbgsym_8.17.0-3_arm64.deb)
SHA1: 44e42965d79aaaccf49475414238574aaa1cdb63
SHA256: 87e1ae1283bd9f8f72d07aa50e7475900ad4c6a18dfd3df7c7dcfda18146de56

Size: 3,700 bytes

Other checksums

Submissions

hfifsdbn
Submitted
Fri, 8 Dec 2023 08:14:25 +0000
Signed by
0xBF8D76BED99F2426

Environment


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