Index of /debian/pool/main/c/coqeal

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 coqeal_1.1.1-3.debia..> 2023-01-27 19:30  2.1K  
 coqeal_1.1.1-3.dsc      2023-01-27 19:30  2.1K  
 coqeal_1.1.1.orig.ta..> 2022-07-08 10:23  214K  
 coqeal_2.0.2-2.debia..> 2024-08-04 09:53  2.3K  
 coqeal_2.0.2-2.dsc      2024-08-04 09:53  1.9K  
 coqeal_2.0.2.orig.ta..> 2024-04-26 17:17  212K  
 coqeal_2.0.3-1.debia..> 2024-12-18 19:13  2.3K  
 coqeal_2.0.3-1.dsc      2024-12-18 19:13  2.1K  
 coqeal_2.0.3.orig.ta..> 2024-12-18 19:13  212K  
 libcoq-coqeal_1.1.1-..> 2023-02-14 09:27  4.4M  
 libcoq-coqeal_2.0.2-..> 2024-11-21 04:04  4.9M  
 libcoq-coqeal_2.0.3-..> 2024-12-20 00:20  5.2M