Index of /debian/pool/main/c/coq-gappa

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 coq-gappa_1.5.2-5.de..> 26-Jan-2023 12:44  2.0K  
 coq-gappa_1.5.2-5.dsc   26-Jan-2023 12:44  2.0K  
 coq-gappa_1.5.2.orig..> 19-Jul-2022 07:00   72K  
 coq-gappa_1.6.0-1.de..> 23-Jan-2025 21:57  2.3K  
 coq-gappa_1.6.0-1.dsc   23-Jan-2025 21:57  2.0K  
 coq-gappa_1.6.0.orig..> 23-Jan-2025 21:57   74K  
 coq-gappa_1.7.0-1.de..> 20-Feb-2025 15:41  2.2K  
 coq-gappa_1.7.0-1.dsc   20-Feb-2025 15:41  2.0K  
 coq-gappa_1.7.0.orig..> 20-Feb-2025 15:41   75K  
 libcoq-gappa_1.5.2-5..> 13-Feb-2023 07:28  504K  
 libcoq-gappa_1.5.2-5..> 13-Feb-2023 07:28  506K  
 libcoq-gappa_1.5.2-5..> 13-Feb-2023 07:28  502K  
 libcoq-gappa_1.5.2-5..> 13-Feb-2023 07:08  500K  
 libcoq-gappa_1.5.2-5..> 14-Feb-2023 10:44  503K  
 libcoq-gappa_1.5.2-5..> 13-Feb-2023 07:08  504K  
 libcoq-gappa_1.6.0-1..> 30-Jan-2025 07:52  524K  
 libcoq-gappa_1.6.0-1..> 30-Jan-2025 07:52  527K  
 libcoq-gappa_1.6.0-1..> 30-Jan-2025 07:52  523K  
 libcoq-gappa_1.6.0-1..> 30-Jan-2025 23:08  525K  
 libcoq-gappa_1.6.0-1..> 30-Jan-2025 09:39  525K  
 libcoq-gappa_1.7.0-1..> 20-Feb-2025 16:06  537K  
 libcoq-gappa_1.7.0-1..> 20-Feb-2025 16:06  540K  
 libcoq-gappa_1.7.0-1..> 20-Feb-2025 16:06  537K  
 libcoq-gappa_1.7.0-1..> 20-Feb-2025 16:22  538K  
 libcoq-gappa_1.7.0-1..> 20-Feb-2025 16:21  539K