Index of /debian/pool/main/c/coqprime

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 coqprime-tools_8.15-..> 2023-02-13 10:44  132K  
 coqprime-tools_8.20...> 2025-02-18 03:36  140K  
 coqprime_8.15-2.debi..> 2023-01-26 15:44  3.5K  
 coqprime_8.15-2.dsc     2023-01-26 15:44  2.1K  
 coqprime_8.15.orig.t..> 2022-07-15 11:46  964K  
 coqprime_8.20.1-1.de..> 2025-01-24 01:02  3.4K  
 coqprime_8.20.1-1.dsc   2025-01-24 01:02  2.1K  
 coqprime_8.20.1.orig..> 2025-01-24 01:02  1.0M  
 libcoq-coqprime_8.15..> 2023-02-13 10:44  1.6M  
 libcoq-coqprime_8.20..> 2025-02-18 03:36  1.7M