8.18.0-1
arm64
Debian
arm64
Tue, 29 Apr 2025 09:19:16 +0000
/build/reproducible-path/coq-corn-8.18.0
9dba7fcb648d3b80e9ee453f1f0550389414a555
libcoq-corn_8.18.0-1_arm64.deb
)
4980f59145b92c2c46e191ef63151d6843034032
7ba78ca34926ca0c73c1085553aa92dd8be927c12cabc3d226f1c657b28b32ab
0xB2C8EDB564786B74
DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=12 "
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1703175984"