1.5.0+2.0+8.16-1
arm64
Debian
arm64
Tue, 28 Jan 2025 07:50:17 +0000
/build/reproducible-path/mathcomp-zify-1.5.0+2.0+8.16
272dcb8dd9e52b180e3f7212aa69a86218874633
libcoq-mathcomp-zify_1.5.0+2.0+8.16-1_arm64.deb
)
d5d1ecabb3f556196f0d2828db5e77629b5a2f33
b591ea9150926efaa28905ad1e359d3fbbd5a343e57c8c7b2f9e0b085df108c8
0x8C42C611576CA54A
DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=12 "
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1703240845"