Index of /ubuntu/pool/universe/c/coqeal

Icon  Name                                  Last modified      Size  Description
[PARENTDIR] Parent Directory                                           -   
[   ] coqeal_1.1.1.orig.tar.gz              2022-07-08 13:34  214K  
[   ] coqeal_1.1.1-3build3.debian.tar.xz    2023-02-17 08:29  2.2K  
[TXT] coqeal_1.1.1-3build3.dsc              2023-02-17 08:29  2.1K  
[   ] libcoq-coqeal_1.1.1-3build3_amd64.deb 2023-02-17 08:29  5.1M  
[   ] coqeal_1.1.3.orig.tar.gz              2023-06-20 19:20  213K  
[   ] coqeal_1.1.3-1build1.debian.tar.xz    2023-07-24 19:37  2.2K  
[TXT] coqeal_1.1.3-1build1.dsc              2023-07-24 19:37  2.1K  
[   ] libcoq-coqeal_1.1.3-1build1_amd64.deb 2023-07-26 09:55  5.0M  
[   ] coqeal_2.0.1.orig.tar.gz              2024-01-21 06:45  212K  
[   ] coqeal_2.0.1-1build5.debian.tar.xz    2024-04-08 09:57  2.5K  
[TXT] coqeal_2.0.1-1build5.dsc              2024-04-08 09:57  2.2K  
[   ] libcoq-coqeal_2.0.1-1build5_amd64.deb 2024-04-09 09:42  5.3M  
[   ] coqeal_2.0.2.orig.tar.gz              2024-05-03 03:55  212K  
[   ] coqeal_2.0.2-1build5.debian.tar.xz    2024-06-30 13:29  2.4K  
[TXT] coqeal_2.0.2-1build5.dsc              2024-06-30 13:29  2.1K  
[   ] libcoq-coqeal_2.0.2-1build5_amd64.deb 2024-06-30 13:29  5.7M  
[TXT] coqeal_2.0.2-2.dsc                    2024-08-04 13:34  1.9K  
[   ] coqeal_2.0.2-2.debian.tar.xz          2024-08-04 13:34  2.3K  
[   ] libcoq-coqeal_2.0.2-2_amd64.deb       2024-08-05 19:36  5.7M  
[   ] coqeal_2.0.2-2build1.debian.tar.xz    2024-08-09 15:49  2.4K  
[TXT] coqeal_2.0.2-2build1.dsc              2024-08-09 15:49  2.1K  
[   ] coqeal_2.0.2-2build2.debian.tar.xz    2024-08-15 09:47  2.4K  
[TXT] coqeal_2.0.2-2build2.dsc              2024-08-15 09:47  2.1K  
[   ] libcoq-coqeal_2.0.2-2build2_amd64.deb 2024-09-07 23:39  5.7M  
[   ] coqeal_2.0.2-2build3.debian.tar.xz    2024-09-08 09:59  2.5K  
[TXT] coqeal_2.0.2-2build3.dsc              2024-09-08 09:59  2.1K  
[   ] libcoq-coqeal_2.0.2-2build3_amd64.deb 2024-09-08 09:59  5.7M  
[   ] coqeal_2.0.2-2build4.debian.tar.xz    2024-09-11 22:51  2.5K  
[TXT] coqeal_2.0.2-2build4.dsc              2024-09-11 22:51  2.1K  
[   ] libcoq-coqeal_2.0.2-2build4_amd64.deb 2024-09-13 11:16  5.7M  
[   ] coqeal_2.0.2-2build5.debian.tar.xz    2024-09-17 18:56  2.5K  
[TXT] coqeal_2.0.2-2build5.dsc              2024-09-17 18:56  2.1K  
[   ] libcoq-coqeal_2.0.2-2build5_amd64.deb 2024-09-20 06:15  5.7M  
[   ] coqeal_2.0.2-2build6.debian.tar.xz    2024-11-20 14:28  2.5K  
[TXT] coqeal_2.0.2-2build6.dsc              2024-11-20 14:28  2.1K  
[   ] libcoq-coqeal_2.0.2-2build6_amd64.deb 2024-11-20 14:29  5.7M  
[   ] coqeal_2.0.2-2build7.debian.tar.xz    2024-11-21 19:48  2.5K  
[TXT] coqeal_2.0.2-2build7.dsc              2024-11-21 19:48  2.1K  
[   ] libcoq-coqeal_2.0.2-2build7_amd64.deb 2024-11-21 19:48  5.7M  
[TXT] coqeal_2.0.3-1.dsc                    2024-12-19 00:41  2.1K  
[   ] coqeal_2.0.3.orig.tar.gz              2024-12-19 00:41  212K  
[   ] coqeal_2.0.3-1.debian.tar.xz          2024-12-19 00:41  2.3K  
[   ] libcoq-coqeal_2.0.3-1_amd64.deb       2024-12-19 01:49  5.7M  
[   ] coqeal_2.0.3-1build1.debian.tar.xz    2024-12-21 00:51  2.4K  
[TXT] coqeal_2.0.3-1build1.dsc              2024-12-21 00:51  2.1K  
[   ] libcoq-coqeal_2.0.3-1build1_amd64.deb 2024-12-21 01:57  6.0M