Index of /ubuntu/pool/universe/m/mathcomp-real-closed

Icon  Name                                                   Last modified      Size  Description
[PARENTDIR] Parent Directory                                                            -   
[   ] libcoq-mathcomp-real-closed_1.1.3-1build5_amd64.deb    2023-02-16 11:44  2.5M  
[   ] libcoq-mathcomp-real-closed_1.1.4-2_amd64.deb          2023-07-25 12:49  2.5M  
[   ] libcoq-mathcomp-real-closed_2.0.0-1build5_amd64.deb    2024-04-08 09:11  2.6M  
[   ] libcoq-mathcomp-real-closed_2.0.0-2build4_amd64.deb    2024-06-15 16:58  2.7M  
[   ] libcoq-mathcomp-real-closed_2.0.0-3_amd64.deb          2024-08-03 12:20  2.7M  
[   ] libcoq-mathcomp-real-closed_2.0.0-3build1_amd64.deb    2024-08-05 07:52  2.7M  
[   ] libcoq-mathcomp-real-closed_2.0.0-3build2_amd64.deb    2024-08-14 17:53  2.7M  
[   ] libcoq-mathcomp-real-closed_2.0.0-3build3_amd64.deb    2024-08-15 00:47  2.7M  
[   ] libcoq-mathcomp-real-closed_2.0.0-3build4_amd64.deb    2024-09-07 12:05  2.7M  
[   ] libcoq-mathcomp-real-closed_2.0.0-3build5_amd64.deb    2024-09-13 00:19  2.7M  
[   ] libcoq-mathcomp-real-closed_2.0.0-3build6_amd64.deb    2024-09-19 18:35  2.7M  
[   ] libcoq-mathcomp-real-closed_2.0.0-3build7_amd64.deb    2024-11-20 02:29  2.7M  
[   ] libcoq-mathcomp-real-closed_2.0.1-1_amd64.deb          2024-11-20 10:48  2.8M  
[   ] libcoq-mathcomp-real-closed_2.0.1-1build1_amd64.deb    2024-11-21 08:02  2.8M  
[   ] libcoq-mathcomp-real-closed_2.0.2-1_amd64.deb          2024-12-18 16:49  2.8M  
[   ] libcoq-mathcomp-real-closed_2.0.2-1build10_amd64.deb   2025-09-02 01:35  2.8M  
[   ] libcoq-mathcomp-real-closed_2.0.2-1build11_amd64.deb   2025-10-26 06:29  2.8M  
[   ] libcoq-mathcomp-real-closed_2.0.2-1build11_amd64v3.deb 2025-10-26 06:30  2.8M  
[   ] libcoq-mathcomp-real-closed_2.0.2-1build13_amd64.deb   2025-11-07 01:34  2.8M  
[   ] libcoq-mathcomp-real-closed_2.0.2-1build13_amd64v3.deb 2025-11-07 01:34  2.8M  
[   ] libcoq-mathcomp-real-closed_2.0.2-1build14_amd64.deb   2026-01-06 00:32  2.8M  
[   ] libcoq-mathcomp-real-closed_2.0.2-1build14_amd64v3.deb 2026-01-06 03:43  2.8M  
[   ] libcoq-mathcomp-real-closed_2.0.2-1build15_amd64.deb   2026-01-31 11:31  2.8M  
[   ] libcoq-mathcomp-real-closed_2.0.2-1build15_amd64v3.deb 2026-01-31 11:31  2.8M  
[   ] libcoq-mathcomp-real-closed_2.0.2-1build16_amd64.deb   2026-03-08 10:19  2.8M  
[   ] libcoq-mathcomp-real-closed_2.0.2-1build16_amd64v3.deb 2026-03-08 10:19  2.8M  
[   ] libcoq-mathcomp-real-closed_2.0.2-1build1_amd64.deb    2024-12-20 11:01  2.9M  
[   ] libcoq-mathcomp-real-closed_2.0.2-1build2_amd64.deb    2025-01-26 03:29  2.9M  
[   ] libcoq-mathcomp-real-closed_2.0.2-1build3_amd64.deb    2025-02-01 20:54  2.9M  
[   ] libcoq-mathcomp-real-closed_2.0.2-1build4_amd64.deb    2025-02-15 16:32  2.9M  
[   ] libcoq-mathcomp-real-closed_2.0.2-1build5_amd64.deb    2025-02-17 11:28  2.9M  
[   ] libcoq-mathcomp-real-closed_2.0.2-1build6_amd64.deb    2025-02-20 01:56  2.8M  
[   ] libcoq-mathcomp-real-closed_2.0.2-1build7_amd64.deb    2025-05-08 12:00  2.8M  
[   ] libcoq-mathcomp-real-closed_2.0.2-1build8_amd64.deb    2025-05-28 12:17  2.8M  
[   ] libcoq-mathcomp-real-closed_2.0.2-1build9_amd64.deb    2025-06-20 10:40  2.8M  
[   ] mathcomp-real-closed_1.1.3-1build5.debian.tar.xz       2023-02-16 10:50  8.6K  
[TXT] mathcomp-real-closed_1.1.3-1build5.dsc                 2023-02-16 10:50  2.2K  
[   ] mathcomp-real-closed_1.1.3.orig.tar.gz                 2022-07-07 22:24  116K  
[   ] mathcomp-real-closed_1.1.4-2.debian.tar.xz             2023-07-24 22:45  8.6K  
[TXT] mathcomp-real-closed_1.1.4-2.dsc                       2023-07-24 22:45  2.0K  
[   ] mathcomp-real-closed_1.1.4.orig.tar.gz                 2023-06-15 04:44  118K  
[   ] mathcomp-real-closed_2.0.0-1build5.debian.tar.xz       2024-04-08 00:57  8.9K  
[TXT] mathcomp-real-closed_2.0.0-1build5.dsc                 2024-04-08 00:57  2.3K  
[   ] mathcomp-real-closed_2.0.0-2build4.debian.tar.xz       2024-06-15 07:43  8.8K  
[TXT] mathcomp-real-closed_2.0.0-2build4.dsc                 2024-06-15 07:43  2.2K  
[   ] mathcomp-real-closed_2.0.0-3.debian.tar.xz             2024-08-03 11:21  8.7K  
[TXT] mathcomp-real-closed_2.0.0-3.dsc                       2024-08-03 11:21  2.0K  
[   ] mathcomp-real-closed_2.0.0-3build1.debian.tar.xz       2024-08-05 07:52  8.8K  
[TXT] mathcomp-real-closed_2.0.0-3build1.dsc                 2024-08-05 07:52  2.2K  
[   ] mathcomp-real-closed_2.0.0-3build2.debian.tar.xz       2024-08-09 06:49  8.9K  
[TXT] mathcomp-real-closed_2.0.0-3build2.dsc                 2024-08-09 06:49  2.2K  
[   ] mathcomp-real-closed_2.0.0-3build3.debian.tar.xz       2024-08-15 00:47  8.9K  
[TXT] mathcomp-real-closed_2.0.0-3build3.dsc                 2024-08-15 00:47  2.2K  
[   ] mathcomp-real-closed_2.0.0-3build4.debian.tar.xz       2024-09-07 00:08  8.9K  
[TXT] mathcomp-real-closed_2.0.0-3build4.dsc                 2024-09-07 00:08  2.2K  
[   ] mathcomp-real-closed_2.0.0-3build5.debian.tar.xz       2024-09-11 13:51  8.9K  
[TXT] mathcomp-real-closed_2.0.0-3build5.dsc                 2024-09-11 13:51  2.2K  
[   ] mathcomp-real-closed_2.0.0-3build6.debian.tar.xz       2024-09-17 09:56  8.9K  
[TXT] mathcomp-real-closed_2.0.0-3build6.dsc                 2024-09-17 09:56  2.2K  
[   ] mathcomp-real-closed_2.0.0-3build7.debian.tar.xz       2024-11-20 02:28  9.0K  
[TXT] mathcomp-real-closed_2.0.0-3build7.dsc                 2024-11-20 02:28  2.2K  
[   ] mathcomp-real-closed_2.0.0.orig.tar.gz                 2023-12-26 09:17  117K  
[   ] mathcomp-real-closed_2.0.1-1.debian.tar.xz             2024-11-20 10:47  8.8K  
[TXT] mathcomp-real-closed_2.0.1-1.dsc                       2024-11-20 10:47  2.2K  
[   ] mathcomp-real-closed_2.0.1-1build1.debian.tar.xz       2024-11-21 08:01  8.8K  
[TXT] mathcomp-real-closed_2.0.1-1build1.dsc                 2024-11-21 08:01  2.2K  
[   ] mathcomp-real-closed_2.0.1.orig.tar.gz                 2024-11-20 10:47  121K  
[   ] mathcomp-real-closed_2.0.2-1.debian.tar.xz             2024-12-18 15:41  8.8K  
[TXT] mathcomp-real-closed_2.0.2-1.dsc                       2024-12-18 15:41  2.2K  
[   ] mathcomp-real-closed_2.0.2-1build1.debian.tar.xz       2024-12-20 11:01  8.8K  
[TXT] mathcomp-real-closed_2.0.2-1build1.dsc                 2024-12-20 11:01  2.2K  
[   ] mathcomp-real-closed_2.0.2-1build10.debian.tar.xz      2025-08-31 12:42  9.0K  
[TXT] mathcomp-real-closed_2.0.2-1build10.dsc                2025-08-31 12:42  2.2K  
[   ] mathcomp-real-closed_2.0.2-1build11.debian.tar.xz      2025-10-22 17:05  9.0K  
[TXT] mathcomp-real-closed_2.0.2-1build11.dsc                2025-10-22 17:05  2.2K  
[   ] mathcomp-real-closed_2.0.2-1build12.debian.tar.xz      2025-11-06 01:20  9.0K  
[TXT] mathcomp-real-closed_2.0.2-1build12.dsc                2025-11-06 01:20  2.2K  
[   ] mathcomp-real-closed_2.0.2-1build13.debian.tar.xz      2025-11-06 03:25  9.1K  
[TXT] mathcomp-real-closed_2.0.2-1build13.dsc                2025-11-06 03:25  2.2K  
[   ] mathcomp-real-closed_2.0.2-1build14.debian.tar.xz      2026-01-04 15:06  9.1K  
[TXT] mathcomp-real-closed_2.0.2-1build14.dsc                2026-01-04 15:06  2.2K  
[   ] mathcomp-real-closed_2.0.2-1build15.debian.tar.xz      2026-01-28 00:18  9.1K  
[TXT] mathcomp-real-closed_2.0.2-1build15.dsc                2026-01-28 00:18  2.2K  
[   ] mathcomp-real-closed_2.0.2-1build16.debian.tar.xz      2026-03-08 10:18  9.1K  
[TXT] mathcomp-real-closed_2.0.2-1build16.dsc                2026-03-08 10:18  2.2K  
[   ] mathcomp-real-closed_2.0.2-1build2.debian.tar.xz       2025-01-23 01:05  8.9K  
[TXT] mathcomp-real-closed_2.0.2-1build2.dsc                 2025-01-23 01:05  2.2K  
[   ] mathcomp-real-closed_2.0.2-1build3.debian.tar.xz       2025-01-31 00:45  8.9K  
[TXT] mathcomp-real-closed_2.0.2-1build3.dsc                 2025-01-31 00:45  2.2K  
[   ] mathcomp-real-closed_2.0.2-1build4.debian.tar.xz       2025-02-12 14:46  8.9K  
[TXT] mathcomp-real-closed_2.0.2-1build4.dsc                 2025-02-12 14:46  2.2K  
[   ] mathcomp-real-closed_2.0.2-1build5.debian.tar.xz       2025-02-17 03:21  8.9K  
[TXT] mathcomp-real-closed_2.0.2-1build5.dsc                 2025-02-17 03:21  2.2K  
[   ] mathcomp-real-closed_2.0.2-1build6.debian.tar.xz       2025-02-18 23:52  8.9K  
[TXT] mathcomp-real-closed_2.0.2-1build6.dsc                 2025-02-18 23:52  2.2K  
[   ] mathcomp-real-closed_2.0.2-1build7.debian.tar.xz       2025-05-08 11:59  9.0K  
[TXT] mathcomp-real-closed_2.0.2-1build7.dsc                 2025-05-08 11:59  2.2K  
[   ] mathcomp-real-closed_2.0.2-1build8.debian.tar.xz       2025-05-28 01:21  9.0K  
[TXT] mathcomp-real-closed_2.0.2-1build8.dsc                 2025-05-28 01:21  2.2K  
[   ] mathcomp-real-closed_2.0.2-1build9.debian.tar.xz       2025-06-19 10:20  9.0K  
[TXT] mathcomp-real-closed_2.0.2-1build9.dsc                 2025-06-19 10:20  2.2K  
[   ] mathcomp-real-closed_2.0.2.orig.tar.gz                 2024-12-18 15:41  122K