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
Sat, 24 Jun 2023 22:54:41 +0000
Build-Path
/build/coq-bignums-8.17.0

First submitted
Sat, 24 Jun 2023 23:02:41 +0000
SHA1 of .buildinfo
e5fd523523c8526ce1d1ccfcaffc5b141f83be9a

Binaries

libcoq-bignums (libcoq-bignums_8.17.0-3_arm64.deb)
SHA1: d663b8d2435448bccfbdcd7fc84b9082e5abcf5c
SHA256: f6ea6c31af7ada871d20215a997f10b604843c4037b3d517145c2848d3e61d48

Size: 1,825,056 bytes
libcoq-bignums-dbgsym (libcoq-bignums-dbgsym_8.17.0-3_arm64.deb)
SHA1: 1c07d500ea67da669fe41d87f9ad21b5175047e4
SHA256: b668731614c25aa1bfbf8a1958cdfead9a3e29876fa153a9fb2ff1f8f9fb7ed7

Size: 3,668 bytes

Other checksums

Submissions

ehzwzbit
Submitted
Sat, 24 Jun 2023 23:02:42 +0000
Signed by
0x9AF2973C993317DB codethink-sled16-arm64 (Automatically generated key for signing .buildinfo files)

Environment


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