Index of /ubuntu/pool/universe/m/mathcomp-real-closed/
../
libcoq-mathcomp-real-closed_1.1.3-1build5_amd64..> 17-Feb-2023 02:44 3M
libcoq-mathcomp-real-closed_1.1.4-2_amd64.deb 26-Jul-2023 02:49 3M
libcoq-mathcomp-real-closed_1.1.4-2build1_amd64..> 16-Nov-2023 01:46 3M
libcoq-mathcomp-real-closed_1.1.4-2build2_amd64..> 23-Nov-2023 07:05 3M
libcoq-mathcomp-real-closed_1.1.4-2build3_amd64..> 24-Dec-2023 00:17 3M
libcoq-mathcomp-real-closed_2.0.0-1_amd64.deb 27-Dec-2023 00:56 3M
libcoq-mathcomp-real-closed_2.0.0-1build1_amd64..> 28-Jan-2024 20:50 3M
libcoq-mathcomp-real-closed_2.0.0-1build2_amd64..> 18-Feb-2024 00:12 3M
libcoq-mathcomp-real-closed_2.0.0-1build3_amd64..> 25-Mar-2024 08:02 3M
libcoq-mathcomp-real-closed_2.0.0-1build4_amd64..> 01-Apr-2024 03:33 3M
libcoq-mathcomp-real-closed_2.0.0-1build5_amd64..> 08-Apr-2024 23:11 3M
libcoq-mathcomp-real-closed_2.0.0-2_amd64.deb 03-May-2024 20:21 3M
libcoq-mathcomp-real-closed_2.0.0-2build1_amd64..> 14-May-2024 01:40 3M
libcoq-mathcomp-real-closed_2.0.0-2build2_amd64..> 21-May-2024 22:48 3M
libcoq-mathcomp-real-closed_2.0.0-2build3_amd64..> 06-Jun-2024 06:43 3M
libcoq-mathcomp-real-closed_2.0.0-2build4_amd64..> 16-Jun-2024 06:58 3M
libcoq-mathcomp-real-closed_2.0.0-3_amd64.deb 04-Aug-2024 02:20 3M
libcoq-mathcomp-real-closed_2.0.0-3build1_amd64..> 05-Aug-2024 21:52 3M
libcoq-mathcomp-real-closed_2.0.0-3build2_amd64..> 15-Aug-2024 07:53 3M
libcoq-mathcomp-real-closed_2.0.0-3build3_amd64..> 15-Aug-2024 14:47 3M
libcoq-mathcomp-real-closed_2.0.0-3build4_amd64..> 08-Sep-2024 02:05 3M
libcoq-mathcomp-real-closed_2.0.0-3build5_amd64..> 13-Sep-2024 14:19 3M
libcoq-mathcomp-real-closed_2.0.0-3build6_amd64..> 20-Sep-2024 08:35 3M
libcoq-mathcomp-real-closed_2.0.0-3build7_amd64..> 20-Nov-2024 17:29 3M
libcoq-mathcomp-real-closed_2.0.1-1_amd64.deb 21-Nov-2024 01:48 3M
libcoq-mathcomp-real-closed_2.0.1-1build1_amd64..> 21-Nov-2024 23:02 3M
libcoq-mathcomp-real-closed_2.0.2-1_amd64.deb 19-Dec-2024 07:49 3M
libcoq-mathcomp-real-closed_2.0.2-1build10_amd6..> 02-Sep-2025 15:35 3M
libcoq-mathcomp-real-closed_2.0.2-1build1_amd64..> 21-Dec-2024 02:01 3M
libcoq-mathcomp-real-closed_2.0.2-1build2_amd64..> 26-Jan-2025 18:29 3M
libcoq-mathcomp-real-closed_2.0.2-1build3_amd64..> 02-Feb-2025 11:54 3M
libcoq-mathcomp-real-closed_2.0.2-1build4_amd64..> 16-Feb-2025 07:32 3M
libcoq-mathcomp-real-closed_2.0.2-1build5_amd64..> 18-Feb-2025 02:28 3M
libcoq-mathcomp-real-closed_2.0.2-1build6_amd64..> 20-Feb-2025 16:56 3M
libcoq-mathcomp-real-closed_2.0.2-1build7_amd64..> 09-May-2025 02:00 3M
libcoq-mathcomp-real-closed_2.0.2-1build8_amd64..> 29-May-2025 02:17 3M
libcoq-mathcomp-real-closed_2.0.2-1build9_amd64..> 21-Jun-2025 00:40 3M
mathcomp-real-closed_1.1.3-1build5.debian.tar.xz 17-Feb-2023 01:50 8808
mathcomp-real-closed_1.1.3-1build5.dsc 17-Feb-2023 01:50 2263
mathcomp-real-closed_1.1.3.orig.tar.gz 08-Jul-2022 12:24 116K
mathcomp-real-closed_1.1.4-2.debian.tar.xz 25-Jul-2023 12:45 8796
mathcomp-real-closed_1.1.4-2.dsc 25-Jul-2023 12:45 2044
mathcomp-real-closed_1.1.4-2build1.debian.tar.xz 05-Nov-2023 02:39 8864
mathcomp-real-closed_1.1.4-2build1.dsc 05-Nov-2023 02:39 2263
mathcomp-real-closed_1.1.4-2build2.debian.tar.xz 23-Nov-2023 07:05 8880
mathcomp-real-closed_1.1.4-2build2.dsc 23-Nov-2023 07:05 2263
mathcomp-real-closed_1.1.4-2build3.debian.tar.xz 23-Dec-2023 23:31 8928
mathcomp-real-closed_1.1.4-2build3.dsc 23-Dec-2023 23:31 2263
mathcomp-real-closed_1.1.4.orig.tar.gz 15-Jun-2023 18:44 118K
mathcomp-real-closed_2.0.0-1.debian.tar.xz 27-Dec-2023 00:17 8868
mathcomp-real-closed_2.0.0-1.dsc 27-Dec-2023 00:17 2264
mathcomp-real-closed_2.0.0-1build1.debian.tar.xz 28-Jan-2024 20:50 8944
mathcomp-real-closed_2.0.0-1build1.dsc 28-Jan-2024 20:50 2263
mathcomp-real-closed_2.0.0-1build2.debian.tar.xz 17-Feb-2024 07:37 8996
mathcomp-real-closed_2.0.0-1build2.dsc 17-Feb-2024 07:37 2263
mathcomp-real-closed_2.0.0-1build3.debian.tar.xz 25-Mar-2024 05:02 9088
mathcomp-real-closed_2.0.0-1build3.dsc 25-Mar-2024 05:02 2379
mathcomp-real-closed_2.0.0-1build4.debian.tar.xz 01-Apr-2024 03:33 9120
mathcomp-real-closed_2.0.0-1build4.dsc 01-Apr-2024 03:33 2379
mathcomp-real-closed_2.0.0-1build5.debian.tar.xz 08-Apr-2024 14:57 9128
mathcomp-real-closed_2.0.0-1build5.dsc 08-Apr-2024 14:57 2342
mathcomp-real-closed_2.0.0-1build6.debian.tar.xz 03-May-2024 03:28 9152
mathcomp-real-closed_2.0.0-1build6.dsc 03-May-2024 03:28 2342
mathcomp-real-closed_2.0.0-2.debian.tar.xz 03-May-2024 08:51 8904
mathcomp-real-closed_2.0.0-2.dsc 03-May-2024 08:51 2264
mathcomp-real-closed_2.0.0-2build1.debian.tar.xz 14-May-2024 01:39 8968
mathcomp-real-closed_2.0.0-2build1.dsc 14-May-2024 01:39 2263
mathcomp-real-closed_2.0.0-2build2.debian.tar.xz 21-May-2024 18:24 8980
mathcomp-real-closed_2.0.0-2build2.dsc 21-May-2024 18:24 2263
mathcomp-real-closed_2.0.0-2build3.debian.tar.xz 04-Jun-2024 05:28 8992
mathcomp-real-closed_2.0.0-2build3.dsc 04-Jun-2024 05:28 2263
mathcomp-real-closed_2.0.0-2build4.debian.tar.xz 15-Jun-2024 21:43 9004
mathcomp-real-closed_2.0.0-2build4.dsc 15-Jun-2024 21:43 2263
mathcomp-real-closed_2.0.0-3.debian.tar.xz 04-Aug-2024 01:21 8956
mathcomp-real-closed_2.0.0-3.dsc 04-Aug-2024 01:21 2044
mathcomp-real-closed_2.0.0-3build1.debian.tar.xz 05-Aug-2024 21:52 9020
mathcomp-real-closed_2.0.0-3build1.dsc 05-Aug-2024 21:52 2263
mathcomp-real-closed_2.0.0-3build2.debian.tar.xz 09-Aug-2024 20:49 9064
mathcomp-real-closed_2.0.0-3build2.dsc 09-Aug-2024 20:49 2263
mathcomp-real-closed_2.0.0-3build3.debian.tar.xz 15-Aug-2024 14:47 9076
mathcomp-real-closed_2.0.0-3build3.dsc 15-Aug-2024 14:47 2263
mathcomp-real-closed_2.0.0-3build4.debian.tar.xz 07-Sep-2024 14:08 9136
mathcomp-real-closed_2.0.0-3build4.dsc 07-Sep-2024 14:08 2263
mathcomp-real-closed_2.0.0-3build5.debian.tar.xz 12-Sep-2024 03:51 9144
mathcomp-real-closed_2.0.0-3build5.dsc 12-Sep-2024 03:51 2263
mathcomp-real-closed_2.0.0-3build6.debian.tar.xz 17-Sep-2024 23:56 9152
mathcomp-real-closed_2.0.0-3build6.dsc 17-Sep-2024 23:56 2263
mathcomp-real-closed_2.0.0-3build7.debian.tar.xz 20-Nov-2024 17:28 9180
mathcomp-real-closed_2.0.0-3build7.dsc 20-Nov-2024 17:28 2263
mathcomp-real-closed_2.0.0.orig.tar.gz 27-Dec-2023 00:17 117K
mathcomp-real-closed_2.0.1-1.debian.tar.xz 21-Nov-2024 01:47 8960
mathcomp-real-closed_2.0.1-1.dsc 21-Nov-2024 01:47 2264
mathcomp-real-closed_2.0.1-1build1.debian.tar.xz 21-Nov-2024 23:01 9032
mathcomp-real-closed_2.0.1-1build1.dsc 21-Nov-2024 23:01 2263
mathcomp-real-closed_2.0.1.orig.tar.gz 21-Nov-2024 01:47 121K
mathcomp-real-closed_2.0.2-1.debian.tar.xz 19-Dec-2024 06:41 8984
mathcomp-real-closed_2.0.2-1.dsc 19-Dec-2024 06:41 2276
mathcomp-real-closed_2.0.2-1build1.debian.tar.xz 21-Dec-2024 02:01 9048
mathcomp-real-closed_2.0.2-1build1.dsc 21-Dec-2024 02:01 2263
mathcomp-real-closed_2.0.2-1build10.debian.tar.xz 01-Sep-2025 02:42 9224
mathcomp-real-closed_2.0.2-1build10.dsc 01-Sep-2025 02:42 2267
mathcomp-real-closed_2.0.2-1build2.debian.tar.xz 23-Jan-2025 16:05 9096
mathcomp-real-closed_2.0.2-1build2.dsc 23-Jan-2025 16:05 2263
mathcomp-real-closed_2.0.2-1build3.debian.tar.xz 31-Jan-2025 15:45 9112
mathcomp-real-closed_2.0.2-1build3.dsc 31-Jan-2025 15:45 2263
mathcomp-real-closed_2.0.2-1build4.debian.tar.xz 13-Feb-2025 05:46 9136
mathcomp-real-closed_2.0.2-1build4.dsc 13-Feb-2025 05:46 2263
mathcomp-real-closed_2.0.2-1build5.debian.tar.xz 17-Feb-2025 18:21 9144
mathcomp-real-closed_2.0.2-1build5.dsc 17-Feb-2025 18:21 2263
mathcomp-real-closed_2.0.2-1build6.debian.tar.xz 19-Feb-2025 14:52 9148
mathcomp-real-closed_2.0.2-1build6.dsc 19-Feb-2025 14:52 2263
mathcomp-real-closed_2.0.2-1build7.debian.tar.xz 09-May-2025 01:59 9176
mathcomp-real-closed_2.0.2-1build7.dsc 09-May-2025 01:59 2263
mathcomp-real-closed_2.0.2-1build8.debian.tar.xz 28-May-2025 15:21 9196
mathcomp-real-closed_2.0.2-1build8.dsc 28-May-2025 15:21 2263
mathcomp-real-closed_2.0.2-1build9.debian.tar.xz 20-Jun-2025 00:20 9200
mathcomp-real-closed_2.0.2-1build9.dsc 20-Jun-2025 00:20 2263
mathcomp-real-closed_2.0.2.orig.tar.gz 19-Dec-2024 06:41 122K