1.2.0+1.12+8.13-6+b4
armhf
Debian
armhf
Mon, 13 Feb 2023 07:32:51 +0000
/build/mathcomp-zify-nlgJza/mathcomp-zify-1.2.0+1.12+8.13
d6bc2ac4eda26cf613452bc2540717fe97695d6e
libcoq-mathcomp-zify_1.2.0+1.12+8.13-6+b4_armhf.deb
)
3de41c32c28df1ca26211b984fd64125fd41c890
a987e671fd0ce905e3a868c1cb9ff63fa6ce758d357247b71ac57180f144c85a
0x61F9D2915A10ACD9
DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
LC_COLLATE="C.UTF-8"
SOURCE_DATE_EPOCH="1676273495"