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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 coqeal_1.1.1-3build3..> 17-Feb-2023 07:29  2.2K  
 coqeal_1.1.1-3build3..> 17-Feb-2023 07:29  2.1K  
 coqeal_1.1.1.orig.ta..> 08-Jul-2022 11:34  214K  
 coqeal_1.1.3-1build1..> 24-Jul-2023 17:37  2.2K  
 coqeal_1.1.3-1build1..> 24-Jul-2023 17:37  2.1K  
 coqeal_1.1.3.orig.ta..> 20-Jun-2023 17:20  213K  
 coqeal_2.0.1-1build5..> 08-Apr-2024 07:57  2.5K  
 coqeal_2.0.1-1build5..> 08-Apr-2024 07:57  2.2K  
 coqeal_2.0.1.orig.ta..> 21-Jan-2024 05:45  212K  
 coqeal_2.0.2-2build5..> 17-Sep-2024 16:56  2.5K  
 coqeal_2.0.2-2build5..> 17-Sep-2024 16:56  2.1K  
 coqeal_2.0.2.orig.ta..> 03-May-2024 01:55  212K  
 libcoq-coqeal_1.1.1-..> 17-Feb-2023 07:29  5.1M  
 libcoq-coqeal_1.1.3-..> 26-Jul-2023 07:55  5.0M  
 libcoq-coqeal_2.0.1-..> 09-Apr-2024 07:42  5.3M  
 libcoq-coqeal_2.0.2-..> 20-Sep-2024 04:15  5.7M