1.4.0-1
armhf
Debian
armhf
Sat, 8 Oct 2022 12:20:04 +0000
/build/coq-hierarchy-builder-1.4.0
a028e221465ab05d10cb27601414b86e2d9d3c02
coq-hierarchy-builder_1.4.0-1_armhf.deb
)
b6c6b2e036aa31faace05f0c3d04abbc15ec2d41
389d4425e98e10b839dbcaceed17dcecd3c2c306619ef2a9eb829acd98da0119
libcoq-hierarchy-builder_1.4.0-1_armhf.deb
)
9df1505541b5ace8ab1bc96d372d7f8a3f51659f
a8cd15e580dee6165a1fdd1a46b462ac12cd6983bb7b9bb2217eed14964470ea
0x58023F0702D8EEDD
DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=3"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1664655053"