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

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


../
libcoq-mathcomp-algebra-tactics_1.0.0-6build2_a..> 29-Jul-2022 06:30    250K
libcoq-mathcomp-algebra-tactics_1.0.0-6build2_a..> 29-Jul-2022 06:30    249K
libcoq-mathcomp-algebra-tactics_1.0.0-6build2_p..> 29-Jul-2022 04:58    250K
libcoq-mathcomp-algebra-tactics_1.0.0-6build2_r..> 22-Aug-2022 15:24    250K
libcoq-mathcomp-algebra-tactics_1.0.0-8build1_a..> 04-Dec-2022 05:43    255K
libcoq-mathcomp-algebra-tactics_1.0.0-8build1_p..> 04-Dec-2022 05:43    255K
libcoq-mathcomp-algebra-tactics_1.0.0-8build1_r..> 07-Dec-2022 23:29    255K
libcoq-mathcomp-algebra-tactics_1.0.0-8build2_a..> 28-Jan-2023 01:29    255K
libcoq-mathcomp-algebra-tactics_1.0.0-8build2_p..> 28-Jan-2023 01:29    255K
libcoq-mathcomp-algebra-tactics_1.0.0-8build2_r..> 28-Jan-2023 01:59    255K
libcoq-mathcomp-algebra-tactics_1.0.0-8build3_a..> 17-Feb-2023 09:34    254K
libcoq-mathcomp-algebra-tactics_1.0.0-8build3_p..> 17-Feb-2023 09:34    254K
libcoq-mathcomp-algebra-tactics_1.0.0-8build3_r..> 17-Feb-2023 12:09    255K
mathcomp-algebra-tactics_1.0.0-6build2.debian.t..> 21-Jul-2022 23:13    8716
mathcomp-algebra-tactics_1.0.0-6build2.dsc         21-Jul-2022 23:13    2281
mathcomp-algebra-tactics_1.0.0-8build1.debian.t..> 04-Dec-2022 03:33    8776
mathcomp-algebra-tactics_1.0.0-8build1.dsc         04-Dec-2022 03:33    2281
mathcomp-algebra-tactics_1.0.0-8build2.debian.t..> 28-Jan-2023 01:29    8800
mathcomp-algebra-tactics_1.0.0-8build2.dsc         28-Jan-2023 01:29    2281
mathcomp-algebra-tactics_1.0.0-8build3.debian.t..> 17-Feb-2023 06:24    8812
mathcomp-algebra-tactics_1.0.0-8build3.dsc         17-Feb-2023 06:24    2281
mathcomp-algebra-tactics_1.0.0.orig.tar.gz         18-May-2022 18:29     36K