Index of /ubuntu/pool/universe/m/mathcomp-analysis/


../
libcoq-mathcomp-analysis_0.3.13-1_amd64.deb        18-Feb-2022 16:14             6481442
libcoq-mathcomp-analysis_0.5.3-1build1_amd64.deb   30-Aug-2022 10:48            11876576
libcoq-mathcomp-analysis_0.6.0-2build2_amd64.deb   17-Feb-2023 03:39            12517986
libcoq-mathcomp-analysis_0.6.4-3build1_amd64.deb   28-Aug-2023 18:04            13954886
libcoq-mathcomp-analysis_1.0.0-1build4_amd64.deb   08-Apr-2024 16:11            15900802
libcoq-mathcomp-analysis_1.1.0-2_amd64.deb         03-May-2024 13:58            15846366
libcoq-mathcomp-analysis_1.1.0-2build1_amd64.deb   13-May-2024 19:24            15846850
libcoq-mathcomp-analysis_1.1.0-2build2_amd64.deb   21-May-2024 16:33            15846902
libcoq-mathcomp-analysis_1.1.0-2build3_amd64.deb   05-Jun-2024 23:43            15846790
libcoq-mathcomp-analysis_1.2.0-1_amd64.deb         11-Jun-2024 17:54            16154396
libcoq-mathcomp-analysis_1.2.0-1build1_amd64.deb   16-Jun-2024 00:43            15882528
libcoq-mathcomp-analysis_1.2.0-2_amd64.deb         03-Aug-2024 19:20            15882736
libcoq-mathcomp-analysis_1.2.0-2build1_amd64.deb   05-Aug-2024 14:52            15882602
libcoq-mathcomp-analysis_1.2.0-2build2_amd64.deb   15-Aug-2024 00:53            15883964
libcoq-mathcomp-analysis_1.2.0-2build3_amd64.deb   15-Aug-2024 07:47            15884044
libcoq-mathcomp-analysis_1.2.0-2build4_amd64.deb   08-Sep-2024 05:44            15883886
libcoq-mathcomp-analysis_1.2.0-2build5_amd64.deb   13-Sep-2024 08:16            15883894
libcoq-mathcomp-analysis_1.2.0-2build6_amd64.deb   20-Sep-2024 01:35            15883702
libcoq-mathcomp-analysis_1.2.0-2build7_amd64.deb   20-Nov-2024 10:29            15883598
libcoq-mathcomp-analysis_1.6.0-1_amd64.deb         20-Nov-2024 18:48            16763786
libcoq-mathcomp-analysis_1.6.0-1build1_amd64.deb   21-Nov-2024 16:02            16660258
libcoq-mathcomp-analysis_1.6.0-2_amd64.deb         24-Nov-2024 00:12            16660576
libcoq-mathcomp-analysis_1.7.0-1_amd64.deb         25-Nov-2024 18:37            17456542
libcoq-mathcomp-analysis_1.7.0-1build1_amd64.deb   20-Dec-2024 19:01            18929040
libcoq-mathcomp-classical_0.6.4-3build1_amd64.deb  28-Aug-2023 18:04             2371416
libcoq-mathcomp-classical_1.0.0-1build4_amd64.deb  08-Apr-2024 16:11             2462046
libcoq-mathcomp-classical_1.1.0-2_amd64.deb        03-May-2024 13:58             3015646
libcoq-mathcomp-classical_1.1.0-2build1_amd64.deb  13-May-2024 19:24             3015624
libcoq-mathcomp-classical_1.1.0-2build2_amd64.deb  21-May-2024 16:33             3015772
libcoq-mathcomp-classical_1.1.0-2build3_amd64.deb  05-Jun-2024 23:43             3015656
libcoq-mathcomp-classical_1.2.0-1_amd64.deb        11-Jun-2024 17:54             2971840
libcoq-mathcomp-classical_1.2.0-1build1_amd64.deb  16-Jun-2024 00:43             2904214
libcoq-mathcomp-classical_1.2.0-2_amd64.deb        03-Aug-2024 19:20             2904300
libcoq-mathcomp-classical_1.2.0-2build1_amd64.deb  05-Aug-2024 14:52             2904460
libcoq-mathcomp-classical_1.2.0-2build2_amd64.deb  15-Aug-2024 00:53             2904994
libcoq-mathcomp-classical_1.2.0-2build3_amd64.deb  15-Aug-2024 07:47             2904768
libcoq-mathcomp-classical_1.2.0-2build4_amd64.deb  08-Sep-2024 05:44             2904748
libcoq-mathcomp-classical_1.2.0-2build5_amd64.deb  13-Sep-2024 08:16             2904804
libcoq-mathcomp-classical_1.2.0-2build6_amd64.deb  20-Sep-2024 01:35             2904676
libcoq-mathcomp-classical_1.2.0-2build7_amd64.deb  20-Nov-2024 10:29             2904612
libcoq-mathcomp-classical_1.6.0-1_amd64.deb        20-Nov-2024 18:48             3549442
libcoq-mathcomp-classical_1.6.0-1build1_amd64.deb  21-Nov-2024 16:02             3454124
libcoq-mathcomp-classical_1.6.0-2_amd64.deb        24-Nov-2024 00:12             3454070
libcoq-mathcomp-classical_1.7.0-1_amd64.deb        25-Nov-2024 18:37             3437464
libcoq-mathcomp-classical_1.7.0-1build1_amd64.deb  20-Dec-2024 19:01             3875418
mathcomp-analysis_0.3.13-1.debian.tar.xz           12-Feb-2022 17:34                8276
mathcomp-analysis_0.3.13-1.dsc                     12-Feb-2022 17:34                2195
mathcomp-analysis_0.3.13.orig.tar.gz               12-Feb-2022 17:34              513213
mathcomp-analysis_0.5.3-1build1.debian.tar.xz      30-Aug-2022 10:48                8756
mathcomp-analysis_0.5.3-1build1.dsc                30-Aug-2022 10:48                2365
mathcomp-analysis_0.5.3.orig.tar.gz                12-Aug-2022 05:33              691688
mathcomp-analysis_0.6.0-2build2.debian.tar.xz      16-Feb-2023 23:24                8896
mathcomp-analysis_0.6.0-2build2.dsc                16-Feb-2023 23:24                2342
mathcomp-analysis_0.6.0.orig.tar.gz                14-Dec-2022 23:29              717379
mathcomp-analysis_0.6.4-3build1.debian.tar.xz      28-Aug-2023 16:13                9196
mathcomp-analysis_0.6.4-3build1.dsc                28-Aug-2023 16:13                2424
mathcomp-analysis_0.6.4.orig.tar.gz                24-Aug-2023 06:44              811547
mathcomp-analysis_1.0.0-1build4.debian.tar.xz      08-Apr-2024 07:57                9396
mathcomp-analysis_1.0.0-1build4.dsc                08-Apr-2024 07:57                2506
mathcomp-analysis_1.0.0-1build5.debian.tar.xz      02-May-2024 20:28                9428
mathcomp-analysis_1.0.0-1build5.dsc                02-May-2024 20:28                2506
mathcomp-analysis_1.0.0.orig.tar.gz                29-Jan-2024 08:51             1174232
mathcomp-analysis_1.1.0-2.debian.tar.xz            03-May-2024 01:51                9284
mathcomp-analysis_1.1.0-2.dsc                      03-May-2024 01:51                2428
mathcomp-analysis_1.1.0-2build1.debian.tar.xz      13-May-2024 19:24                9332
mathcomp-analysis_1.1.0-2build1.dsc                13-May-2024 19:24                2427
mathcomp-analysis_1.1.0-2build2.debian.tar.xz      21-May-2024 11:24                9340
mathcomp-analysis_1.1.0-2build2.dsc                21-May-2024 11:24                2427
mathcomp-analysis_1.1.0-2build3.debian.tar.xz      03-Jun-2024 22:28                9360
mathcomp-analysis_1.1.0-2build3.dsc                03-Jun-2024 22:28                2427
mathcomp-analysis_1.1.0.orig.tar.gz                03-May-2024 01:51             1185490
mathcomp-analysis_1.2.0-1.debian.tar.xz            11-Jun-2024 17:54                9300
mathcomp-analysis_1.2.0-1.dsc                      11-Jun-2024 17:54                2428
mathcomp-analysis_1.2.0-1build1.debian.tar.xz      15-Jun-2024 14:43                9340
mathcomp-analysis_1.2.0-1build1.dsc                15-Jun-2024 14:43                2427
mathcomp-analysis_1.2.0-2.debian.tar.xz            03-Aug-2024 18:21                9380
mathcomp-analysis_1.2.0-2.dsc                      03-Aug-2024 18:21                2205
mathcomp-analysis_1.2.0-2build1.debian.tar.xz      05-Aug-2024 14:52                9440
mathcomp-analysis_1.2.0-2build1.dsc                05-Aug-2024 14:52                2427
mathcomp-analysis_1.2.0-2build2.debian.tar.xz      09-Aug-2024 13:49                9460
mathcomp-analysis_1.2.0-2build2.dsc                09-Aug-2024 13:49                2427
mathcomp-analysis_1.2.0-2build3.debian.tar.xz      15-Aug-2024 07:47                9464
mathcomp-analysis_1.2.0-2build3.dsc                15-Aug-2024 07:47                2427
mathcomp-analysis_1.2.0-2build4.debian.tar.xz      08-Sep-2024 05:44                9520
mathcomp-analysis_1.2.0-2build4.dsc                08-Sep-2024 05:44                2427
mathcomp-analysis_1.2.0-2build5.debian.tar.xz      11-Sep-2024 20:51                9528
mathcomp-analysis_1.2.0-2build5.dsc                11-Sep-2024 20:51                2427
mathcomp-analysis_1.2.0-2build6.debian.tar.xz      17-Sep-2024 16:56                9536
mathcomp-analysis_1.2.0-2build6.dsc                17-Sep-2024 16:56                2427
mathcomp-analysis_1.2.0-2build7.debian.tar.xz      20-Nov-2024 10:28                9576
mathcomp-analysis_1.2.0-2build7.dsc                20-Nov-2024 10:28                2427
mathcomp-analysis_1.2.0.orig.tar.gz                11-Jun-2024 17:54             1196331
mathcomp-analysis_1.6.0-1.debian.tar.xz            20-Nov-2024 18:47                9384
mathcomp-analysis_1.6.0-1.dsc                      20-Nov-2024 18:47                2428
mathcomp-analysis_1.6.0-1build1.debian.tar.xz      21-Nov-2024 16:01                9444
mathcomp-analysis_1.6.0-1build1.dsc                21-Nov-2024 16:01                2427
mathcomp-analysis_1.6.0-2.debian.tar.xz            24-Nov-2024 00:12                9420
mathcomp-analysis_1.6.0-2.dsc                      24-Nov-2024 00:12                2428
mathcomp-analysis_1.6.0.orig.tar.gz                20-Nov-2024 18:47             1252656
mathcomp-analysis_1.7.0-1.debian.tar.xz            25-Nov-2024 18:37                9464
mathcomp-analysis_1.7.0-1.dsc                      25-Nov-2024 18:37                2425
mathcomp-analysis_1.7.0-1build1.debian.tar.xz      20-Dec-2024 19:01                9532
mathcomp-analysis_1.7.0-1build1.dsc                20-Dec-2024 19:01                2424
mathcomp-analysis_1.7.0.orig.tar.gz                25-Nov-2024 18:37              859045