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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 coqeal_1.1.1-3.debia..> 27-Jan-2023 16:30  2.1K  
 coqeal_1.1.1-3.dsc      27-Jan-2023 16:30  2.1K  
 coqeal_1.1.1.orig.ta..> 08-Jul-2022 07:23  214K  
 coqeal_2.0.3-1.debia..> 18-Dec-2024 16:13  2.3K  
 coqeal_2.0.3-1.dsc      18-Dec-2024 16:13  2.1K  
 coqeal_2.0.3.orig.ta..> 18-Dec-2024 16:13  212K  
 libcoq-coqeal_1.1.1-..> 14-Feb-2023 06:27  4.4M  
 libcoq-coqeal_1.1.1-..> 14-Feb-2023 06:27  4.4M  
 libcoq-coqeal_1.1.1-..> 14-Feb-2023 06:26  4.4M  
 libcoq-coqeal_1.1.1-..> 14-Feb-2023 06:27  4.4M  
 libcoq-coqeal_1.1.1-..> 14-Feb-2023 07:27  4.4M  
 libcoq-coqeal_1.1.1-..> 14-Feb-2023 07:17  4.4M  
 libcoq-coqeal_2.0.3-..> 19-Dec-2024 21:20  5.2M  
 libcoq-coqeal_2.0.3-..> 19-Dec-2024 23:07  5.2M  
 libcoq-coqeal_2.0.3-..> 19-Dec-2024 19:38  5.2M  
 libcoq-coqeal_2.0.3-..> 19-Dec-2024 22:27  5.2M  
 libcoq-coqeal_2.0.3-..> 22-Dec-2024 04:06  5.2M