Index of /ubuntu/pool/universe/c/coq-relation-algebra

Icon  Name                                                Last modified      Size  Description
[PARENTDIR] Parent Directory                                                         -   
[   ] coq-relation-algebra_1.7.10-3build7.debian.tar.xz   2024-06-15 07:43  2.2K  
[TXT] coq-relation-algebra_1.7.10-3build7.dsc             2024-06-15 07:43  2.2K  
[   ] coq-relation-algebra_1.7.10-4.debian.tar.xz         2024-08-04 04:34  2.2K  
[TXT] coq-relation-algebra_1.7.10-4.dsc                   2024-08-04 04:34  2.0K  
[   ] coq-relation-algebra_1.7.10-4build1.debian.tar.xz   2024-08-09 06:49  2.2K  
[TXT] coq-relation-algebra_1.7.10-4build1.dsc             2024-08-09 06:49  2.2K  
[   ] coq-relation-algebra_1.7.10-4build2.debian.tar.xz   2024-08-15 00:47  2.2K  
[TXT] coq-relation-algebra_1.7.10-4build2.dsc             2024-08-15 00:47  2.2K  
[   ] coq-relation-algebra_1.7.10-4build3.debian.tar.xz   2024-09-07 00:08  2.3K  
[TXT] coq-relation-algebra_1.7.10-4build3.dsc             2024-09-07 00:08  2.2K  
[   ] coq-relation-algebra_1.7.10-4build4.debian.tar.xz   2024-09-07 20:03  2.3K  
[TXT] coq-relation-algebra_1.7.10-4build4.dsc             2024-09-07 20:03  2.2K  
[   ] coq-relation-algebra_1.7.10-4build5.debian.tar.xz   2024-09-11 13:51  2.3K  
[TXT] coq-relation-algebra_1.7.10-4build5.dsc             2024-09-11 13:51  2.2K  
[   ] coq-relation-algebra_1.7.10-4build6.debian.tar.xz   2024-09-17 09:56  2.3K  
[TXT] coq-relation-algebra_1.7.10-4build6.dsc             2024-09-17 09:56  2.2K  
[   ] coq-relation-algebra_1.7.10-4build7.debian.tar.xz   2024-11-20 02:28  2.4K  
[TXT] coq-relation-algebra_1.7.10-4build7.dsc             2024-11-20 02:28  2.2K  
[   ] coq-relation-algebra_1.7.10.orig.tar.gz             2024-05-02 04:53  192K  
[   ] coq-relation-algebra_1.7.11-1.debian.tar.xz         2024-11-20 10:47  2.2K  
[TXT] coq-relation-algebra_1.7.11-1.dsc                   2024-11-20 10:47  2.2K  
[   ] coq-relation-algebra_1.7.11-1build1.debian.tar.xz   2024-12-20 06:16  2.3K  
[TXT] coq-relation-algebra_1.7.11-1build1.dsc             2024-12-20 06:16  2.2K  
[   ] coq-relation-algebra_1.7.11-1build10.debian.tar.xz  2025-10-22 17:05  2.4K  
[TXT] coq-relation-algebra_1.7.11-1build10.dsc            2025-10-22 17:05  2.2K  
[   ] coq-relation-algebra_1.7.11-1build11.debian.tar.xz  2025-11-06 01:20  2.4K  
[TXT] coq-relation-algebra_1.7.11-1build11.dsc            2025-11-06 01:20  2.2K  
[   ] coq-relation-algebra_1.7.11-1build12.debian.tar.xz  2026-01-04 15:06  2.5K  
[TXT] coq-relation-algebra_1.7.11-1build12.dsc            2026-01-04 15:06  2.2K  
[   ] coq-relation-algebra_1.7.11-1build13.debian.tar.xz  2026-01-27 16:59  2.5K  
[TXT] coq-relation-algebra_1.7.11-1build13.dsc            2026-01-27 16:59  2.2K  
[   ] coq-relation-algebra_1.7.11-1build14.debian.tar.xz  2026-03-07 11:00  2.5K  
[TXT] coq-relation-algebra_1.7.11-1build14.dsc            2026-03-07 11:00  2.2K  
[   ] coq-relation-algebra_1.7.11-1build2.debian.tar.xz   2025-01-23 01:05  2.3K  
[TXT] coq-relation-algebra_1.7.11-1build2.dsc             2025-01-23 01:05  2.2K  
[   ] coq-relation-algebra_1.7.11-1build3.debian.tar.xz   2025-01-31 00:45  2.3K  
[TXT] coq-relation-algebra_1.7.11-1build3.dsc             2025-01-31 00:45  2.2K  
[   ] coq-relation-algebra_1.7.11-1build4.debian.tar.xz   2025-02-12 14:46  2.3K  
[TXT] coq-relation-algebra_1.7.11-1build4.dsc             2025-02-12 14:46  2.2K  
[   ] coq-relation-algebra_1.7.11-1build5.debian.tar.xz   2025-02-18 23:52  2.3K  
[TXT] coq-relation-algebra_1.7.11-1build5.dsc             2025-02-18 23:52  2.2K  
[   ] coq-relation-algebra_1.7.11-1build6.debian.tar.xz   2025-05-08 04:58  2.4K  
[TXT] coq-relation-algebra_1.7.11-1build6.dsc             2025-05-08 04:58  2.2K  
[   ] coq-relation-algebra_1.7.11-1build7.debian.tar.xz   2025-05-28 01:21  2.4K  
[TXT] coq-relation-algebra_1.7.11-1build7.dsc             2025-05-28 01:21  2.2K  
[   ] coq-relation-algebra_1.7.11-1build8.debian.tar.xz   2025-06-19 10:20  2.4K  
[TXT] coq-relation-algebra_1.7.11-1build8.dsc             2025-06-19 10:20  2.2K  
[   ] coq-relation-algebra_1.7.11-1build9.debian.tar.xz   2025-08-31 12:42  2.4K  
[TXT] coq-relation-algebra_1.7.11-1build9.dsc             2025-08-31 12:42  2.2K  
[   ] coq-relation-algebra_1.7.11.orig.tar.gz             2024-11-20 10:47  192K  
[   ] coq-relation-algebra_1.7.8-2build2.debian.tar.xz    2023-02-16 10:50  1.7K  
[TXT] coq-relation-algebra_1.7.8-2build2.dsc              2023-02-16 10:50  2.2K  
[   ] coq-relation-algebra_1.7.8.orig.tar.gz              2022-11-05 21:33  192K  
[   ] coq-relation-algebra_1.7.9-1build1.debian.tar.xz    2023-07-24 10:37  1.9K  
[TXT] coq-relation-algebra_1.7.9-1build1.dsc              2023-07-24 10:37  2.2K  
[   ] coq-relation-algebra_1.7.9-2build5.debian.tar.xz    2024-04-08 00:57  2.5K  
[TXT] coq-relation-algebra_1.7.9-2build5.dsc              2024-04-08 00:57  2.3K  
[   ] coq-relation-algebra_1.7.9.orig.tar.gz              2023-06-14 16:24  192K  
[   ] libcoq-relation-algebra_1.7.10-3build7_amd64.deb    2024-06-15 14:48  2.3M  
[   ] libcoq-relation-algebra_1.7.10-4_amd64.deb          2024-08-04 19:54  2.3M  
[   ] libcoq-relation-algebra_1.7.10-4build1_amd64.deb    2024-08-14 15:17  2.3M  
[   ] libcoq-relation-algebra_1.7.10-4build2_amd64.deb    2024-08-15 00:47  2.3M  
[   ] libcoq-relation-algebra_1.7.10-4build3_amd64.deb    2024-09-07 12:05  2.3M  
[   ] libcoq-relation-algebra_1.7.10-4build4_amd64.deb    2024-09-07 20:03  2.3M  
[   ] libcoq-relation-algebra_1.7.10-4build5_amd64.deb    2024-09-12 14:28  2.3M  
[   ] libcoq-relation-algebra_1.7.10-4build6_amd64.deb    2024-09-19 16:39  2.3M  
[   ] libcoq-relation-algebra_1.7.10-4build7_amd64.deb    2024-11-20 02:29  2.3M  
[   ] libcoq-relation-algebra_1.7.11-1_amd64.deb          2024-11-21 06:01  2.3M  
[   ] libcoq-relation-algebra_1.7.11-1build10_amd64.deb   2025-10-26 01:15  2.3M  
[   ] libcoq-relation-algebra_1.7.11-1build10_amd64v3.deb 2025-10-26 01:16  2.3M  
[   ] libcoq-relation-algebra_1.7.11-1build11_amd64.deb   2025-11-06 12:01  2.3M  
[   ] libcoq-relation-algebra_1.7.11-1build11_amd64v3.deb 2025-11-06 12:01  2.3M  
[   ] libcoq-relation-algebra_1.7.11-1build12_amd64.deb   2026-01-05 16:08  2.3M  
[   ] libcoq-relation-algebra_1.7.11-1build12_amd64v3.deb 2026-01-05 16:09  2.3M  
[   ] libcoq-relation-algebra_1.7.11-1build13_amd64.deb   2026-01-31 00:17  2.3M  
[   ] libcoq-relation-algebra_1.7.11-1build13_amd64v3.deb 2026-01-31 00:17  2.3M  
[   ] libcoq-relation-algebra_1.7.11-1build14_amd64.deb   2026-03-07 11:01  2.3M  
[   ] libcoq-relation-algebra_1.7.11-1build14_amd64v3.deb 2026-03-07 11:02  2.3M  
[   ] libcoq-relation-algebra_1.7.11-1build14_arm64.deb   2026-03-07 11:03  2.3M  
[   ] libcoq-relation-algebra_1.7.11-1build1_amd64.deb    2024-12-20 06:16  2.3M  
[   ] libcoq-relation-algebra_1.7.11-1build2_amd64.deb    2025-01-26 01:36  2.3M  
[   ] libcoq-relation-algebra_1.7.11-1build3_amd64.deb    2025-02-01 18:04  2.3M  
[   ] libcoq-relation-algebra_1.7.11-1build4_amd64.deb    2025-02-15 12:25  2.3M  
[   ] libcoq-relation-algebra_1.7.11-1build5_amd64.deb    2025-02-19 20:20  2.3M  
[   ] libcoq-relation-algebra_1.7.11-1build6_amd64.deb    2025-05-08 12:00  2.3M  
[   ] libcoq-relation-algebra_1.7.11-1build7_amd64.deb    2025-05-28 07:51  2.3M  
[   ] libcoq-relation-algebra_1.7.11-1build8_amd64.deb    2025-06-20 08:15  2.3M  
[   ] libcoq-relation-algebra_1.7.11-1build9_amd64.deb    2025-09-01 12:52  2.3M  
[   ] libcoq-relation-algebra_1.7.11-1build9_arm64.deb    2025-09-01 12:52  2.3M  
[   ] libcoq-relation-algebra_1.7.8-2build2_amd64.deb     2023-02-16 10:50  2.3M  
[   ] libcoq-relation-algebra_1.7.9-1build1_amd64.deb     2023-07-25 10:19  2.3M  
[   ] libcoq-relation-algebra_1.7.9-2build5_amd64.deb     2024-04-08 07:36  2.3M