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
Fri, 22 Mar 2024 06:19:26 +0000
Build-Path
/build/reproducible-path/coq-bignums-9.0.0+coq8.18

First submitted
Fri, 22 Mar 2024 06:19:37 +0000
SHA1 of .buildinfo
a361c9a5e8730c219da99b58f7ab6685b7eb7ae9

Binaries

libcoq-bignums (libcoq-bignums_9.0.0+coq8.18-1_arm64.deb)
SHA1: 5d399ac37eb689cadc5ef61b78acb0930c4bac28
SHA256: dcc2187b0dec14c625d965079c2db09849c73e5751926519d71fd64b42395e71

Size: 1,812,516 bytes
libcoq-bignums-dbgsym (libcoq-bignums-dbgsym_9.0.0+coq8.18-1_arm64.deb)
SHA1: 2e4312e6353352a5ba1a2e6926f6ca0a3470b2e8
SHA256: 92f6de5a8e59d8978851b53d1c3061e73a4dfcb74cc483b25600d194cdd86b07

Size: 3,692 bytes

Other checksums

Submissions

jybqfdob
Submitted
Fri, 22 Mar 2024 06:19:37 +0000
Signed by
0xF088F61B03D475A8

Environment


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