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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory   -  
[TXT]coq-gappa_1.5.2-2.dsc 2022-07-20 19:19 2.0K 
[   ]coq-gappa_1.5.2.orig..>2022-07-20 19:19 72K 
[   ]coq-gappa_1.5.2-2.de..>2022-07-20 19:19 1.6K 
[   ]libcoq-gappa_1.5.2-2..>2022-07-20 22:44 589K 
[   ]coq-gappa_1.5.2-5bui..>2023-02-16 13:50 2.0K 
[TXT]coq-gappa_1.5.2-5bui..>2023-02-16 13:50 2.0K 
[   ]libcoq-gappa_1.5.2-5..>2023-02-16 15:44 586K 
[TXT]coq-gappa_1.5.3-1.dsc 2023-06-13 07:34 2.0K 
[   ]coq-gappa_1.5.3.orig..>2023-06-13 07:34 72K 
[   ]coq-gappa_1.5.3-1.de..>2023-06-13 07:34 2.0K 
[   ]libcoq-gappa_1.5.3-1..>2023-06-13 07:34 586K