Index of /pool/universe/c/coqeal

Name                    Last modified      Size  Description
Parent Directory                             -   
coqeal_1.1.1-3build3..> 2023-02-17 09:29  2.2K  
coqeal_1.1.1-3build3..> 2023-02-17 09:29  2.1K  
coqeal_1.1.1.orig.ta..> 2022-07-08 14:34  214K  
coqeal_1.1.3-1build1..> 2023-07-24 20:37  2.2K  
coqeal_1.1.3-1build1..> 2023-07-24 20:37  2.1K  
coqeal_1.1.3.orig.ta..> 2023-06-20 20:20  213K  
coqeal_2.0.1-1build5..> 2024-04-08 10:57  2.5K  
coqeal_2.0.1-1build5..> 2024-04-08 10:57  2.2K  
coqeal_2.0.1.orig.ta..> 2024-01-21 07:45  212K  
libcoq-coqeal_1.1.1-..> 2023-02-17 09:29  5.1M  
libcoq-coqeal_1.1.3-..> 2023-07-26 10:55  5.0M  
libcoq-coqeal_2.0.1-..> 2024-04-09 10:42  5.3M