coq-ext-lib_0.11.8-1_arm64.buildinfo (view)

Source
coq-ext-lib
Version
0.11.8-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Wed, 8 Jan 2025 08:57:40 +0000
Build-Path
/build/reproducible-path/coq-ext-lib-0.11.8

First submitted
Thu, 7 Dec 2023 02:34:45 +0000
SHA1 of .buildinfo
42771e9bf777d55c9c58247998db0bf05949033d

Binaries

libcoq-ext-lib (libcoq-ext-lib_0.11.8-1_arm64.deb)
SHA1: 50df36fdd4e19059d14a0c462e83635ea42d7fde
SHA256: 95ecab713fcb672fd90156e12b582e5c2bec8c46f60b55249635e53764e8977a

Size: 758,492 bytes

Other checksums

Submissions

gd3gcacn
Submitted
Thu, 7 Dec 2023 02:34:45 +0000
Signed by
0xB2C8EDB564786B74

Environment


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