1.7.0-1
amd64
Debian
amd64
Sun, 1 Jun 2025 06:40:41 +0000
/build/reproducible-path/coq-hierarchy-builder-1.7.0
2d8b0f9faf280f4b69dc02953352c196d12e6ec9
libcoq-hierarchy-builder_1.7.0-1_amd64.deb
)
2f374f91035913d63dae31d43571afd7c8f9ac1b
3af54df7f45dfc8e6eaafecfcffca573b995d7e5b7245e6da982fbc4c378a5e9
0x7BFFBBE29C8D27AB
DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=12 "
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1706160819"