1.6.0-1
arm64
Debian
arm64
Fri, 19 Apr 2024 23:01:05 +0000
/build/reproducible-path/coq-hierarchy-builder-1.6.0
c168c33888c09ca85e0def32c00438b097f9d713
coq-hierarchy-builder_1.6.0-1_arm64.deb
)
5da782d8f96cfdc2790844ecb0cac7160dc9f7b5
88f25547ef7959f0c6e141263693d0ebf6f06f3be9230d23ff4df1b5645af92b
libcoq-hierarchy-builder_1.6.0-1_arm64.deb
)
20ab11fada53aa2823c37f9b4e7b7393fdf4ee99
fff721452219d62cbdf5235a34a27f4d824e569ca0a5c1eede43ed442a5aa5d2
0xBF8D76BED99F2426
DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=12 "
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1703174338"