Index of /ubuntu/pool/universe/c/coq-gappa

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 coq-gappa_1.5.4.orig..> 2023-12-23 12:16   72K  tar archive
 coq-gappa_1.5.4-1bui..> 2024-04-08 03:57  2.3K  tar archive
 coq-gappa_1.5.4-1bui..> 2024-04-08 03:57  2.1K  
 libcoq-gappa_1.5.4-1..> 2024-04-08 06:59  562K  
 coq-gappa_1.6.0.orig..> 2025-01-24 00:56   74K  tar archive
 coq-gappa_1.6.0-1bui..> 2025-02-19 02:52  2.4K  tar archive
 coq-gappa_1.6.0-1bui..> 2025-02-19 02:52  2.0K  
 libcoq-gappa_1.6.0-1..> 2025-02-19 02:53  612K  
 coq-gappa_1.7.0.orig..> 2025-05-01 12:23   75K  tar archive
 coq-gappa_1.7.0-1bui..> 2025-06-20 09:22  2.2K  tar archive
 coq-gappa_1.7.0-1bui..> 2025-06-20 09:22  2.0K  
 libcoq-gappa_1.7.0-1..> 2025-06-20 13:40  628K