1.2.0+1.12+8.13-6
armhf
Debian
armhf
Wed, 23 Nov 2022 12:52:28 +0000
/build/mathcomp-zify-1.2.0+1.12+8.13
23ae0e2eafff73ff4a3db30c93b3c49978c5eeb4
libcoq-mathcomp-zify_1.2.0+1.12+8.13-6_armhf.deb
)
27b6bfe165c4ad3bceda922390795917a897350a
75740edf8ebcaef7442cbb81f39643e2392b04ae986da5045b1c71a55130698b
0xCDD42D70685A0E01
DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=4"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1657005570"