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

Icon  Name                            Last modified      Size  Description
[PARENTDIR] Parent Directory                                     -   
[   ] coq-gappa_1.5.2-2.debian.tar.xz 2022-07-21 01:19  1.6K  
[   ] coq-gappa_1.5.2-2.dsc           2022-07-21 01:19  2.0K  
[   ] coq-gappa_1.5.2-5.debian.tar.xz 2023-01-26 18:29  2.0K  
[   ] coq-gappa_1.5.2-5.dsc           2023-01-26 18:29  2.0K  
[   ] coq-gappa_1.5.2.orig.tar.bz2    2022-07-21 01:19   72K  
[   ] libcoq-gappa_1.5.2-2_amd64.deb  2022-07-21 04:44  589K  
[   ] libcoq-gappa_1.5.2-5_amd64.deb  2023-01-26 18:29  587K