Index of /debian/pool/main/m/mathcomp-algebra-tactics/

../
libcoq-mathcomp-algebra-tactics_0.3.0-1_amd64.deb  13-May-2022 11:53              221664
libcoq-mathcomp-algebra-tactics_0.3.0-1_i386.deb   16-May-2022 19:29              220976
libcoq-mathcomp-algebra-tactics_1.0.0-1_i386.deb   18-May-2022 07:48              224636
mathcomp-algebra-tactics_0.3.0-1.debian.tar.xz     13-May-2022 11:53                8440
mathcomp-algebra-tactics_0.3.0-1.dsc               13-May-2022 11:53                2175
mathcomp-algebra-tactics_0.3.0.orig.tar.gz         13-May-2022 11:53               32700
mathcomp-algebra-tactics_1.0.0-1.debian.tar.xz     18-May-2022 07:28                8488
mathcomp-algebra-tactics_1.0.0-1.dsc               18-May-2022 07:28                2175
mathcomp-algebra-tactics_1.0.0.orig.tar.gz         18-May-2022 07:28               37243