1.4.0-6
arm64
Debian
arm64
Wed, 22 Jan 2025 06:35:15 +0000
/build/reproducible-path/coq-hierarchy-builder-1.4.0
2570cedd1e6cb4978c8261a8f625169939e17900
coq-hierarchy-builder_1.4.0-6_arm64.deb
)
b00396fb5551723ca7085de57aa27dc8acf14857
d67ef464bd28f7c0284784bfeeac0b9f0b6bb9eb8d33f7b0d03532d74bf1016f
libcoq-hierarchy-builder_1.4.0-6_arm64.deb
)
403e643f56679b62013481d13ed5ae1a1435be90
7475f089e556db13028a4f11c610544a56df99c54584bc1a652ffe2c9ee11ac2
0x8C42C611576CA54A
DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=12 "
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1690355558"