Index of /ubuntu/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.0-3_amd64.deb 13-May-2022 08:15 10815218
libcoq-mathcomp-analysis_0.5.0-4_amd64.deb 24-May-2022 23:54 10814944
libcoq-mathcomp-analysis_0.5.0-5_amd64.deb 02-Jun-2022 17:34 10815146
libcoq-mathcomp-analysis_0.5.1-1_amd64.deb 07-Jun-2022 17:38 11289680
libcoq-mathcomp-analysis_0.5.1-2_amd64.deb 13-Jun-2022 17:44 11290092
libcoq-mathcomp-analysis_0.5.2-1_amd64.deb 10-Jul-2022 23:39 11820614
libcoq-mathcomp-analysis_0.5.2-1build1_amd64.deb 20-Jul-2022 05:18 11820912
libcoq-mathcomp-analysis_0.5.2-2_amd64.deb 07-Aug-2022 05:33 11848548
libcoq-mathcomp-analysis_0.5.3-1_amd64.deb 12-Aug-2022 05:33 11878122
libcoq-mathcomp-analysis_0.5.3-1build1_amd64.deb 30-Aug-2022 10:48 11876576
libcoq-mathcomp-analysis_0.5.4-3build1_amd64.deb 27-Nov-2022 17:59 11887186
libcoq-mathcomp-analysis_0.5.4-3build2_amd64.deb 04-Dec-2022 00:44 11887204
libcoq-mathcomp-analysis_0.6.0-1_amd64.deb 14-Dec-2022 23:54 12525940
libcoq-mathcomp-analysis_0.6.0-2_amd64.deb 27-Jan-2023 19:29 12525874
libcoq-mathcomp-analysis_0.6.0-2build1_amd64.deb 27-Jan-2023 21:12 12525904
libcoq-mathcomp-analysis_0.6.0-2build2_amd64.deb 17-Feb-2023 03:39 12517986
libcoq-mathcomp-analysis_0.6.0-2build3_amd64.deb 14-Jun-2023 14:05 12545552
libcoq-mathcomp-analysis_0.6.2-1_amd64.deb 15-Jun-2023 11:44 13651070
libcoq-mathcomp-analysis_0.6.3-1_amd64.deb 21-Jun-2023 18:25 14672150
libcoq-mathcomp-analysis_0.6.3-2build1_amd64.deb 08-Jul-2023 02:19 14672584
libcoq-mathcomp-analysis_0.6.3-2build2_amd64.deb 18-Jul-2023 11:09 14672484
libcoq-mathcomp-analysis_0.6.3-2build3_amd64.deb 25-Jul-2023 20:19 14672296
libcoq-mathcomp-analysis_0.6.3-2build4_amd64.deb 26-Jul-2023 12:30 14672974
libcoq-mathcomp-analysis_0.6.3-2build5_amd64.deb 27-Jul-2023 14:14 14673190
libcoq-mathcomp-analysis_0.6.3-2build6_amd64.deb 28-Jul-2023 04:09 14673570
libcoq-mathcomp-analysis_0.6.3-2build7_amd64.deb 28-Jul-2023 10:12 14673612
libcoq-mathcomp-analysis_0.6.3-2build8_amd64.deb 20-Aug-2023 12:19 14672874
libcoq-mathcomp-analysis_0.6.4-3_amd64.deb 24-Aug-2023 07:49 13955078
libcoq-mathcomp-analysis_0.6.4-3build1_amd64.deb 28-Aug-2023 18:04 13954886
libcoq-mathcomp-analysis_1.0.0-1build1_amd64.deb 17-Feb-2024 17:12 15900476
libcoq-mathcomp-analysis_1.0.0-1build2_amd64.deb 25-Mar-2024 01:02 15900770
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-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-classical_0.6.4-3_amd64.deb 24-Aug-2023 07:49 2371602
libcoq-mathcomp-classical_0.6.4-3build1_amd64.deb 28-Aug-2023 18:04 2371416
libcoq-mathcomp-classical_1.0.0-1build1_amd64.deb 17-Feb-2024 17:12 2461908
libcoq-mathcomp-classical_1.0.0-1build2_amd64.deb 25-Mar-2024 01:02 2461972
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-2build2_amd64.deb 21-May-2024 16:33 3015772
libcoq-mathcomp-classical_1.1.0-2build3_amd64.deb 05-Jun-2024 23:43 3015656
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.0-3.debian.tar.xz 30-Apr-2022 01:00 8416
mathcomp-analysis_0.5.0-3.dsc 30-Apr-2022 01:00 2201
mathcomp-analysis_0.5.0-4.debian.tar.xz 24-May-2022 23:24 8456
mathcomp-analysis_0.5.0-4.dsc 24-May-2022 23:24 2201
mathcomp-analysis_0.5.0-4build1.debian.tar.xz 01-Jun-2022 16:08 8524
mathcomp-analysis_0.5.0-4build1.dsc 01-Jun-2022 16:08 2200
mathcomp-analysis_0.5.0-5.debian.tar.xz 02-Jun-2022 17:34 8496
mathcomp-analysis_0.5.0-5.dsc 02-Jun-2022 17:34 2201
mathcomp-analysis_0.5.0.orig.tar.gz 30-Apr-2022 01:00 661966
mathcomp-analysis_0.5.1-1.debian.tar.xz 07-Jun-2022 17:38 8500
mathcomp-analysis_0.5.1-1.dsc 07-Jun-2022 17:38 2201
mathcomp-analysis_0.5.1-2.debian.tar.xz 13-Jun-2022 17:44 8512
mathcomp-analysis_0.5.1-2.dsc 13-Jun-2022 17:44 2319
mathcomp-analysis_0.5.1-3.debian.tar.xz 05-Jul-2022 23:28 8604
mathcomp-analysis_0.5.1-3.dsc 05-Jul-2022 23:28 2366
mathcomp-analysis_0.5.1.orig.tar.gz 07-Jun-2022 17:38 674130
mathcomp-analysis_0.5.2-1.debian.tar.xz 10-Jul-2022 23:39 8612
mathcomp-analysis_0.5.2-1.dsc 10-Jul-2022 23:39 2366
mathcomp-analysis_0.5.2-1build1.debian.tar.xz 20-Jul-2022 05:18 8684
mathcomp-analysis_0.5.2-1build1.dsc 20-Jul-2022 05:18 2365
mathcomp-analysis_0.5.2-1build2.debian.tar.xz 21-Jul-2022 16:13 8700
mathcomp-analysis_0.5.2-1build2.dsc 21-Jul-2022 16:13 2365
mathcomp-analysis_0.5.2-2.debian.tar.xz 07-Aug-2022 05:13 9008
mathcomp-analysis_0.5.2-2.dsc 07-Aug-2022 05:13 2366
mathcomp-analysis_0.5.2.orig.tar.gz 10-Jul-2022 23:39 688595
mathcomp-analysis_0.5.3-1.debian.tar.xz 12-Aug-2022 05:33 8692
mathcomp-analysis_0.5.3-1.dsc 12-Aug-2022 05:33 2366
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.5.4-2.debian.tar.xz 06-Nov-2022 03:06 8748
mathcomp-analysis_0.5.4-2.dsc 06-Nov-2022 03:06 2343
mathcomp-analysis_0.5.4-3.debian.tar.xz 10-Nov-2022 23:34 8784
mathcomp-analysis_0.5.4-3.dsc 10-Nov-2022 23:34 2343
mathcomp-analysis_0.5.4-3build1.debian.tar.xz 27-Nov-2022 17:39 8852
mathcomp-analysis_0.5.4-3build1.dsc 27-Nov-2022 17:39 2342
mathcomp-analysis_0.5.4-3build2.debian.tar.xz 03-Dec-2022 20:33 8864
mathcomp-analysis_0.5.4-3build2.dsc 03-Dec-2022 20:33 2342
mathcomp-analysis_0.5.4.orig.tar.gz 06-Nov-2022 03:06 697355
mathcomp-analysis_0.6.0-1.debian.tar.xz 14-Dec-2022 23:29 8792
mathcomp-analysis_0.6.0-1.dsc 14-Dec-2022 23:29 2343
mathcomp-analysis_0.6.0-2.debian.tar.xz 27-Jan-2023 11:55 8816
mathcomp-analysis_0.6.0-2.dsc 27-Jan-2023 11:55 2343
mathcomp-analysis_0.6.0-2build1.debian.tar.xz 27-Jan-2023 21:12 8872
mathcomp-analysis_0.6.0-2build1.dsc 27-Jan-2023 21:12 2342
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-2build3.debian.tar.xz 13-Jun-2023 09:04 8912
mathcomp-analysis_0.6.0-2build3.dsc 13-Jun-2023 09:04 2342
mathcomp-analysis_0.6.0.orig.tar.gz 14-Dec-2022 23:29 717379
mathcomp-analysis_0.6.2-1.debian.tar.xz 15-Jun-2023 11:44 8840
mathcomp-analysis_0.6.2-1.dsc 15-Jun-2023 11:44 2343
mathcomp-analysis_0.6.2.orig.tar.gz 15-Jun-2023 11:44 759320
mathcomp-analysis_0.6.3-1.debian.tar.xz 21-Jun-2023 17:22 8844
mathcomp-analysis_0.6.3-1.dsc 21-Jun-2023 17:22 2343
mathcomp-analysis_0.6.3-2.debian.tar.xz 05-Jul-2023 17:34 8868
mathcomp-analysis_0.6.3-2.dsc 05-Jul-2023 17:34 2343
mathcomp-analysis_0.6.3-2build1.debian.tar.xz 07-Jul-2023 22:58 8924
mathcomp-analysis_0.6.3-2build1.dsc 07-Jul-2023 22:58 2342
mathcomp-analysis_0.6.3-2build2.debian.tar.xz 18-Jul-2023 06:39 8948
mathcomp-analysis_0.6.3-2build2.dsc 18-Jul-2023 06:39 2342
mathcomp-analysis_0.6.3-2build3.debian.tar.xz 24-Jul-2023 17:37 8948
mathcomp-analysis_0.6.3-2build3.dsc 24-Jul-2023 17:37 2342
mathcomp-analysis_0.6.3-2build4.debian.tar.xz 26-Jul-2023 11:29 8960
mathcomp-analysis_0.6.3-2build4.dsc 26-Jul-2023 11:29 2342
mathcomp-analysis_0.6.3-2build5.debian.tar.xz 27-Jul-2023 10:19 8984
mathcomp-analysis_0.6.3-2build5.dsc 27-Jul-2023 10:19 2342
mathcomp-analysis_0.6.3-2build6.debian.tar.xz 28-Jul-2023 03:43 8992
mathcomp-analysis_0.6.3-2build6.dsc 28-Jul-2023 03:43 2342
mathcomp-analysis_0.6.3-2build7.debian.tar.xz 28-Jul-2023 09:19 8996
mathcomp-analysis_0.6.3-2build7.dsc 28-Jul-2023 09:19 2342
mathcomp-analysis_0.6.3-2build8.debian.tar.xz 20-Aug-2023 08:09 9016
mathcomp-analysis_0.6.3-2build8.dsc 20-Aug-2023 08:09 2342
mathcomp-analysis_0.6.3.orig.tar.gz 21-Jun-2023 17:22 786445
mathcomp-analysis_0.6.4-3.debian.tar.xz 24-Aug-2023 06:44 9120
mathcomp-analysis_0.6.4-3.dsc 24-Aug-2023 06:44 2425
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-1build1.debian.tar.xz 17-Feb-2024 00:37 9256
mathcomp-analysis_1.0.0-1build1.dsc 17-Feb-2024 00:37 2427
mathcomp-analysis_1.0.0-1build2.debian.tar.xz 24-Mar-2024 16:22 9368
mathcomp-analysis_1.0.0-1build2.dsc 24-Mar-2024 16:22 2543
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.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-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