1.6.0-1
armhf
Debian
armhf
Sun, 21 Apr 2024 23:32:06 +0000
/build/reproducible-path/coq-hierarchy-builder-1.6.0
aad81a04c8db9bb3ac056f85fc2df9c380f33dfb
coq-hierarchy-builder_1.6.0-1_armhf.deb
)
9488c977fea3a7af825148bf8327e138f30f8119
1152df52d4e9ccb685b4ecc6495806378ad94a68f2dc5e05cbb3d8348782b679
libcoq-hierarchy-builder_1.6.0-1_armhf.deb
)
901968357606311703c63c6e208f4d94e1c5db37
6ebd25c1fcd814341385d79526ffc43727d3790b804fef402a774c927eeac862
0x4F15D07E60F07CB2
DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=4 "
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1703174338"