libcoq-mathcomp-algebra-tactics_1.2.4-1+b14_amd64.deb
libcoq-mathcomp-algebra-tactics_1.2.4-1+b14_arm64.deb
mathcomp-algebra-tactics_1.2.4-1.debian.tar.xz
mathcomp-algebra-tactics_1.2.4-1.dsc
mathcomp-algebra-tactics_1.2.4.orig.tar.gz