Index of /ubuntu/pool/universe/m/mathcomp-algebra-tactics/


../
libcoq-mathcomp-algebra-tactics_1.0.0-5_amd64.deb                                                                        13-Jun-2022 17:44    250K
mathcomp-algebra-tactics_1.0.0-5.debian.tar.xz                                                                           13-Jun-2022 17:44    8536
mathcomp-algebra-tactics_1.0.0-5.dsc                                                                                     13-Jun-2022 17:44    2235
mathcomp-algebra-tactics_1.0.0.orig.tar.gz                                                                               18-May-2022 11:29     36K