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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory   -  
[ ]coq-gappa_1.5.2-2.de..>2022-07-21 07:19 1.6K 
[TXT]coq-gappa_1.5.2-2.dsc 2022-07-21 07:19 2.0K 
[ ]coq-gappa_1.5.2-4.de..>2022-11-06 11:17 1.9K 
[TXT]coq-gappa_1.5.2-4.dsc 2022-11-06 11:17 2.0K 
[ ]coq-gappa_1.5.2-4bui..>2022-11-26 02:40 2.0K 
[TXT]coq-gappa_1.5.2-4bui..>2022-11-26 02:40 2.0K 
[ ]coq-gappa_1.5.2-4bui..>2022-12-03 20:29 2.0K 
[TXT]coq-gappa_1.5.2-4bui..>2022-12-03 20:29 2.0K 
[ ]coq-gappa_1.5.2-5.de..>2023-01-27 01:29 2.0K 
[TXT]coq-gappa_1.5.2-5.dsc 2023-01-27 01:29 2.0K 
[ ]coq-gappa_1.5.2-5bui..>2023-02-17 02:50 2.0K 
[TXT]coq-gappa_1.5.2-5bui..>2023-02-17 02:50 2.0K 
[ ]coq-gappa_1.5.2-5bui..>2023-06-13 17:04 2.1K 
[TXT]coq-gappa_1.5.2-5bui..>2023-06-13 17:04 2.0K 
[ ]coq-gappa_1.5.2.orig..>2022-07-21 07:19 72K 
[ ]coq-gappa_1.5.3-1.de..>2023-06-13 19:34 2.0K 
[TXT]coq-gappa_1.5.3-1.dsc 2023-06-13 19:34 2.0K 
[ ]coq-gappa_1.5.3-1bui..>2023-07-26 13:19 2.1K 
[TXT]coq-gappa_1.5.3-1bui..>2023-07-26 13:19 2.0K 
[ ]coq-gappa_1.5.3-1bui..>2023-11-07 00:44 2.1K 
[TXT]coq-gappa_1.5.3-1bui..>2023-11-07 00:44 2.0K 
[ ]coq-gappa_1.5.3-1bui..>2023-11-23 08:05 2.1K 
[TXT]coq-gappa_1.5.3-1bui..>2023-11-23 08:05 2.0K 
[ ]coq-gappa_1.5.3-1bui..>2023-12-23 20:47 2.2K 
[TXT]coq-gappa_1.5.3-1bui..>2023-12-23 20:47 2.0K 
[ ]coq-gappa_1.5.3.orig..>2023-06-13 19:34 72K 
[ ]coq-gappa_1.5.4-1.de..>2023-12-24 01:16 2.1K 
[TXT]coq-gappa_1.5.4-1.dsc 2023-12-24 01:16 2.0K 
[ ]coq-gappa_1.5.4-1bui..>2024-03-24 08:53 2.3K 
[TXT]coq-gappa_1.5.4-1bui..>2024-03-24 08:53 2.1K 
[ ]coq-gappa_1.5.4-1bui..>2024-04-01 02:36 2.3K 
[TXT]coq-gappa_1.5.4-1bui..>2024-04-01 02:36 2.1K 
[ ]coq-gappa_1.5.4-1bui..>2024-04-08 15:57 2.3K 
[TXT]coq-gappa_1.5.4-1bui..>2024-04-08 15:57 2.1K 
[ ]coq-gappa_1.5.4.orig..>2023-12-24 01:16 72K 
[ ]coq-gappa_1.5.5-1.de..>2024-05-02 19:53 2.2K 
[TXT]coq-gappa_1.5.5-1.dsc 2024-05-02 19:53 2.0K 
[ ]coq-gappa_1.5.5-1bui..>2024-05-03 04:28 2.2K 
[TXT]coq-gappa_1.5.5-1bui..>2024-05-03 04:28 2.0K 
[ ]coq-gappa_1.5.5-1bui..>2024-05-14 02:39 2.2K 
[TXT]coq-gappa_1.5.5-1bui..>2024-05-14 02:39 2.0K 
[ ]coq-gappa_1.5.5.orig..>2024-05-02 19:53 72K 
[ ]libcoq-gappa_1.5.2-2..>2022-07-21 10:44 589K 
[ ]libcoq-gappa_1.5.2-4..>2022-11-26 02:41 587K 
[ ]libcoq-gappa_1.5.2-4..>2022-12-03 20:29 587K 
[ ]libcoq-gappa_1.5.2-5..>2023-01-27 01:29 587K 
[ ]libcoq-gappa_1.5.2-5..>2023-02-17 04:44 586K 
[ ]libcoq-gappa_1.5.3-1..>2023-06-13 19:34 586K 
[ ]libcoq-gappa_1.5.3-1..>2023-07-26 15:24 586K 
[ ]libcoq-gappa_1.5.3-1..>2023-11-07 18:46 586K 
[ ]libcoq-gappa_1.5.3-1..>2023-11-23 08:05 586K 
[ ]libcoq-gappa_1.5.4-1..>2023-12-24 01:56 664K 
[ ]libcoq-gappa_1.5.4-1..>2024-03-24 15:47 562K 
[ ]libcoq-gappa_1.5.4-1..>2024-04-01 03:32 562K 
[ ]libcoq-gappa_1.5.4-1..>2024-04-08 18:59 562K 
[ ]libcoq-gappa_1.5.5-1..>2024-05-02 19:53 562K 
[ ]libcoq-gappa_1.5.5-1..>2024-05-03 13:21 585K 
[ ]libcoq-gappa_1.5.5-1..>2024-05-14 02:40 586K