0.12.0-1
arm64
Debian
arm64
Fri, 24 Jan 2025 22:01:47 +0000
/build/reproducible-path/coq-ext-lib-0.12.0
c652f5b24598801bedf713b023c37fa7ed585e89
libcoq-ext-lib_0.12.0-1_arm64.deb
)
d6130f4b81621655fc617bf20b46fff3e710db03
6b6032fa0e47439f9d6d2a36827c2efdf61d29c7e8ca8373fafe45daa3e1d9d7
0xB2C8EDB564786B74
DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=12 "
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1703168679"