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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory   -  
[TXT]coq-gappa_1.6.0-1bui..>2025-02-19 14:52 2.0K 
[TXT]coq-gappa_1.7.0-1bui..>2025-06-20 20:22 2.0K 
[TXT]coq-gappa_1.7.0-1bui..>2026-03-05 00:33 2.0K 
[TXT]coq-gappa_1.10.0-4.dsc 2026-08-04 06:22 2.1K 
[TXT]coq-gappa_1.11.0-1.dsc 2026-08-04 12:31 2.1K 
[TXT]coq-gappa_1.5.4-1bui..>2024-04-08 14:57 2.1K 
[ ]coq-gappa_1.7.0-1bui..>2025-06-20 20:22 2.2K 
[ ]coq-gappa_1.7.0-1bui..>2026-03-05 00:33 2.3K 
[ ]coq-gappa_1.5.4-1bui..>2024-04-08 14:57 2.3K 
[ ]coq-gappa_1.6.0-1bui..>2025-02-19 14:52 2.4K 
[ ]coq-gappa_1.10.0-4.d..>2026-08-04 06:22 3.5K 
[ ]coq-gappa_1.11.0-1.d..>2026-08-04 12:31 3.6K 
[ ]coq-gappa_1.5.4.orig..>2023-12-24 00:16 72K 
[ ]coq-gappa_1.6.0.orig..>2025-01-24 12:56 74K 
[ ]coq-gappa_1.7.0.orig..>2025-05-01 23:23 75K 
[ ]coq-gappa_1.10.0.ori..>2026-07-29 07:05 89K 
[ ]coq-gappa_1.11.0.ori..>2026-08-04 12:31 91K 
[ ]libcoq-gappa_1.5.4-1..>2024-04-08 17:59 562K 
[ ]libcoq-gappa_1.6.0-1..>2025-02-19 14:53 612K 
[ ]libcoq-gappa_1.7.0-1..>2026-03-05 00:34 628K 
[ ]libcoq-gappa_1.7.0-1..>2026-03-05 00:34 628K 
[ ]libcoq-gappa_1.7.0-1..>2026-07-09 18:44 628K 
[ ]libcoq-gappa_1.7.0-1..>2025-06-21 00:40 628K 
[ ]libcoq-gappa_1.7.0-1..>2026-07-09 18:44 628K 
[ ]libcoq-gappa_1.7.0-1..>2026-03-05 00:34 634K 
[ ]libcoq-gappa_1.7.0-1..>2026-07-10 02:32 634K 
[ ]libcoq-gappa_1.7.0-1..>2025-06-21 00:40 634K