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

Icon  Name                                    Last modified      Size  Description
[PARENTDIR] Parent Directory                                             -   
[   ] coq-reglang_1.2.1.orig.tar.gz           2024-01-21 06:45   68K  
[   ] coq-reglang_1.2.1-1build5.debian.tar.xz 2024-04-08 09:57  8.6K  
[TXT] coq-reglang_1.2.1-1build5.dsc           2024-04-08 09:57  2.1K  
[   ] libcoq-reglang_1.2.1-1build5_amd64.deb  2024-04-08 16:36  805K