Index of /pub/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