Index of /ubuntu/ubuntu/pool/universe/m/mathcomp-algebra-tactics/
../
libcoq-mathcomp-algebra-tactics_0.3.0-1_amd64.deb 17-May-2022 18:25 251446
libcoq-mathcomp-algebra-tactics_1.0.0-1_amd64.deb 18-May-2022 11:29 255274
libcoq-mathcomp-algebra-tactics_1.0.0-3_amd64.deb 02-Jun-2022 17:34 255358
libcoq-mathcomp-algebra-tactics_1.0.0-5_amd64.deb 13-Jun-2022 17:44 255544
libcoq-mathcomp-algebra-tactics_1.0.0-6_amd64.deb 05-Jul-2022 23:28 255622
libcoq-mathcomp-algebra-tactics_1.0.0-6build1_a..> 19-Jul-2022 13:15 255730
libcoq-mathcomp-algebra-tactics_1.0.0-6build2_a..> 28-Jul-2022 21:58 255520
libcoq-mathcomp-algebra-tactics_1.0.0-8_amd64.deb 27-Nov-2022 09:24 260600
libcoq-mathcomp-algebra-tactics_1.0.0-8build1_a..> 03-Dec-2022 22:43 260720
libcoq-mathcomp-algebra-tactics_1.0.0-8build2_a..> 27-Jan-2023 18:29 260798
libcoq-mathcomp-algebra-tactics_1.0.0-8build3_a..> 17-Feb-2023 02:34 260594
libcoq-mathcomp-algebra-tactics_1.1.1-1_amd64.deb 15-Jun-2023 11:44 433656
libcoq-mathcomp-algebra-tactics_1.1.1-2build1_a..> 08-Jul-2023 00:35 434096
libcoq-mathcomp-algebra-tactics_1.1.1-2build2_a..> 18-Jul-2023 10:01 434150
libcoq-mathcomp-algebra-tactics_1.1.1-2build3_a..> 25-Jul-2023 20:19 433758
libcoq-mathcomp-algebra-tactics_1.1.1-2build4_a..> 26-Jul-2023 11:29 434906
libcoq-mathcomp-algebra-tactics_1.1.1-2build5_a..> 27-Jul-2023 13:17 434904
libcoq-mathcomp-algebra-tactics_1.1.1-2build6_a..> 28-Jul-2023 04:09 434924
libcoq-mathcomp-algebra-tactics_1.1.1-2build7_a..> 28-Jul-2023 09:19 434844
libcoq-mathcomp-algebra-tactics_1.1.1-2build8_a..> 20-Aug-2023 11:24 434806
libcoq-mathcomp-algebra-tactics_1.1.1-2build9_a..> 28-Aug-2023 16:39 434778
libcoq-mathcomp-algebra-tactics_1.2.3-1build2_a..> 17-Feb-2024 16:32 602686
libcoq-mathcomp-algebra-tactics_1.2.3-1build3_a..> 24-Mar-2024 23:33 602792
libcoq-mathcomp-algebra-tactics_1.2.3-1build5_a..> 08-Apr-2024 16:11 602798
libcoq-mathcomp-algebra-tactics_1.2.3-3_amd64.deb 03-May-2024 13:21 617434
libcoq-mathcomp-algebra-tactics_1.2.3-3build2_a..> 21-May-2024 15:48 617468
mathcomp-algebra-tactics_0.3.0-1.debian.tar.xz 16-May-2022 23:24 8440
mathcomp-algebra-tactics_0.3.0-1.dsc 16-May-2022 23:24 2175
mathcomp-algebra-tactics_0.3.0.orig.tar.gz 16-May-2022 23:24 32700
mathcomp-algebra-tactics_1.0.0-1.debian.tar.xz 18-May-2022 11:29 8488
mathcomp-algebra-tactics_1.0.0-1.dsc 18-May-2022 11:29 2175
mathcomp-algebra-tactics_1.0.0-2.debian.tar.xz 22-May-2022 23:35 8524
mathcomp-algebra-tactics_1.0.0-2.dsc 22-May-2022 23:35 2175
mathcomp-algebra-tactics_1.0.0-3.debian.tar.xz 02-Jun-2022 17:34 8540
mathcomp-algebra-tactics_1.0.0-3.dsc 02-Jun-2022 17:34 2175
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-6.debian.tar.xz 05-Jul-2022 23:28 8624
mathcomp-algebra-tactics_1.0.0-6.dsc 05-Jul-2022 23:28 2282
mathcomp-algebra-tactics_1.0.0-6build1.debian.t..> 19-Jul-2022 13:14 8704
mathcomp-algebra-tactics_1.0.0-6build1.dsc 19-Jul-2022 13:14 2281
mathcomp-algebra-tactics_1.0.0-6build2.debian.t..> 21-Jul-2022 16:13 8716
mathcomp-algebra-tactics_1.0.0-6build2.dsc 21-Jul-2022 16:13 2281
mathcomp-algebra-tactics_1.0.0-7.debian.tar.xz 06-Nov-2022 03:06 8656
mathcomp-algebra-tactics_1.0.0-7.dsc 06-Nov-2022 03:06 2282
mathcomp-algebra-tactics_1.0.0-8.debian.tar.xz 10-Nov-2022 23:34 8704
mathcomp-algebra-tactics_1.0.0-8.dsc 10-Nov-2022 23:34 2282
mathcomp-algebra-tactics_1.0.0-8build1.debian.t..> 03-Dec-2022 20:33 8776
mathcomp-algebra-tactics_1.0.0-8build1.dsc 03-Dec-2022 20:33 2281
mathcomp-algebra-tactics_1.0.0-8build2.debian.t..> 27-Jan-2023 18:29 8800
mathcomp-algebra-tactics_1.0.0-8build2.dsc 27-Jan-2023 18:29 2281
mathcomp-algebra-tactics_1.0.0-8build3.debian.t..> 16-Feb-2023 23:24 8812
mathcomp-algebra-tactics_1.0.0-8build3.dsc 16-Feb-2023 23:24 2281
mathcomp-algebra-tactics_1.0.0-8build4.debian.t..> 13-Jun-2023 09:04 8824
mathcomp-algebra-tactics_1.0.0-8build4.dsc 13-Jun-2023 09:04 2281
mathcomp-algebra-tactics_1.0.0.orig.tar.gz 18-May-2022 11:29 37243
mathcomp-algebra-tactics_1.1.1-1.debian.tar.xz 15-Jun-2023 11:44 8732
mathcomp-algebra-tactics_1.1.1-1.dsc 15-Jun-2023 11:44 2282
mathcomp-algebra-tactics_1.1.1-2.debian.tar.xz 05-Jul-2023 17:34 8756
mathcomp-algebra-tactics_1.1.1-2.dsc 05-Jul-2023 17:34 2282
mathcomp-algebra-tactics_1.1.1-2build1.debian.t..> 07-Jul-2023 22:29 8816
mathcomp-algebra-tactics_1.1.1-2build1.dsc 07-Jul-2023 22:29 2281
mathcomp-algebra-tactics_1.1.1-2build2.debian.t..> 18-Jul-2023 06:39 8820
mathcomp-algebra-tactics_1.1.1-2build2.dsc 18-Jul-2023 06:39 2281
mathcomp-algebra-tactics_1.1.1-2build3.debian.t..> 24-Jul-2023 17:37 8840
mathcomp-algebra-tactics_1.1.1-2build3.dsc 24-Jul-2023 17:37 2281
mathcomp-algebra-tactics_1.1.1-2build4.debian.t..> 26-Jul-2023 11:29 8852
mathcomp-algebra-tactics_1.1.1-2build4.dsc 26-Jul-2023 11:29 2281
mathcomp-algebra-tactics_1.1.1-2build5.debian.t..> 27-Jul-2023 10:19 8860
mathcomp-algebra-tactics_1.1.1-2build5.dsc 27-Jul-2023 10:19 2281
mathcomp-algebra-tactics_1.1.1-2build6.debian.t..> 28-Jul-2023 03:43 8876
mathcomp-algebra-tactics_1.1.1-2build6.dsc 28-Jul-2023 03:43 2281
mathcomp-algebra-tactics_1.1.1-2build7.debian.t..> 28-Jul-2023 09:19 8888
mathcomp-algebra-tactics_1.1.1-2build7.dsc 28-Jul-2023 09:19 2281
mathcomp-algebra-tactics_1.1.1-2build8.debian.t..> 20-Aug-2023 08:09 8900
mathcomp-algebra-tactics_1.1.1-2build8.dsc 20-Aug-2023 08:09 2281
mathcomp-algebra-tactics_1.1.1-2build9.debian.t..> 28-Aug-2023 16:13 8920
mathcomp-algebra-tactics_1.1.1-2build9.dsc 28-Aug-2023 16:13 2281
mathcomp-algebra-tactics_1.1.1.orig.tar.gz 15-Jun-2023 11:44 52308
mathcomp-algebra-tactics_1.2.3-1build2.debian.t..> 17-Feb-2024 00:37 8980
mathcomp-algebra-tactics_1.2.3-1build2.dsc 17-Feb-2024 00:37 2281
mathcomp-algebra-tactics_1.2.3-1build3.debian.t..> 24-Mar-2024 16:22 9064
mathcomp-algebra-tactics_1.2.3-1build3.dsc 24-Mar-2024 16:22 2397
mathcomp-algebra-tactics_1.2.3-1build5.debian.t..> 08-Apr-2024 07:57 9104
mathcomp-algebra-tactics_1.2.3-1build5.dsc 08-Apr-2024 07:57 2360
mathcomp-algebra-tactics_1.2.3-3.debian.tar.xz 03-May-2024 01:51 8920
mathcomp-algebra-tactics_1.2.3-3.dsc 03-May-2024 01:51 2282
mathcomp-algebra-tactics_1.2.3-3build2.debian.t..> 21-May-2024 11:24 8992
mathcomp-algebra-tactics_1.2.3-3build2.dsc 21-May-2024 11:24 2281
mathcomp-algebra-tactics_1.2.3.orig.tar.gz 21-Jan-2024 05:45 58366