1.2.0+1.12+8.13-1
amd64 source
Debian
amd64
Fri, 22 Apr 2022 09:43:22 +0000
2e6fc83ac00b6557cc29e474ae2bcf81937faa2c
libcoq-mathcomp-zify_1.2.0+1.12+8.13-1_amd64.deb
)
84e662a4cf13fcbff64a170ba42db48a614bb6ff
9561fc644f95836121a0572b9b4b1f663fe950a6ce8619ac1856f3af41a913a1
mathcomp-zify_1.2.0+1.12+8.13-1.dsc
4101f7dfdbe777530c7327754ff0b32b15a913d1
0x04C53BD7FE030551
Julien Puydt <jpuydt@debian.org>
DEB_BUILD_OPTIONS="parallel=8"
LANG="fr_FR.UTF-8"
SOURCE_DATE_EPOCH="1650620207"