1.6.0-1
arm64
Debian
arm64
Sun, 11 May 2025 00:25:31 +0000
/build/reproducible-path/coq-hierarchy-builder-1.6.0
0fd59c64845e9203aa3efea64f991f6d060ca937
coq-hierarchy-builder_1.6.0-1_arm64.deb
)
5da782d8f96cfdc2790844ecb0cac7160dc9f7b5
88f25547ef7959f0c6e141263693d0ebf6f06f3be9230d23ff4df1b5645af92b
libcoq-hierarchy-builder_1.6.0-1_arm64.deb
)
b1475940e7a8d16d6a1abc290a21367d354663d8
36c5d7ade5f146322608c331c8b31e7f9916a371d77dd004b0e554fa025cfb96
0xB2C8EDB564786B74
DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=12 "
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1703174338"