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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 libcoq-gappa_1.5.4-1..> 2023-12-23 20:56  664K  
 libcoq-gappa_1.5.3-1..> 2023-11-23 03:05  586K  
 libcoq-gappa_1.5.2-5..> 2023-02-16 23:44  586K  
 libcoq-gappa_1.5.3-1..> 2023-11-07 13:46  586K  
 libcoq-gappa_1.5.3-1..> 2023-07-26 10:24  586K  
 libcoq-gappa_1.5.5-1..> 2024-05-13 21:40  586K  
 libcoq-gappa_1.5.5-1..> 2024-05-03 08:21  585K  
 libcoq-gappa_1.5.5-1..> 2024-06-15 19:49  585K  
 libcoq-gappa_1.5.5-2..> 2024-08-04 19:09  584K  
 libcoq-gappa_1.5.5-2..> 2024-09-07 01:10  584K  
 libcoq-gappa_1.5.5-2..> 2024-09-07 22:05  584K  
 libcoq-gappa_1.5.5-2..> 2024-11-21 11:16  568K  
 libcoq-gappa_1.5.4-1..> 2024-04-08 13:59  562K  
 libcoq-gappa_1.5.4-1..> 2024-03-31 22:32  562K  
 libcoq-gappa_1.5.4-1..> 2024-03-24 10:47  562K  
 libcoq-gappa_1.5.5-1..> 2024-05-02 14:53  562K  
 coq-gappa_1.5.5.orig..> 2024-05-02 14:53   72K  
 coq-gappa_1.5.3.orig..> 2023-06-13 14:34   72K  
 coq-gappa_1.5.4.orig..> 2023-12-23 20:16   72K  
 coq-gappa_1.5.2.orig..> 2022-07-21 02:19   72K  
 coq-gappa_1.5.5-2bui..> 2024-11-21 10:16  2.4K  
 coq-gappa_1.5.5-2bui..> 2024-09-07 22:04  2.4K  
 coq-gappa_1.5.5-2bui..> 2024-08-15 10:47  2.4K  
 coq-gappa_1.5.4-1bui..> 2024-04-08 10:57  2.3K  
 coq-gappa_1.5.5-2.de..> 2024-08-04 14:34  2.3K  
 coq-gappa_1.5.4-1bui..> 2024-03-31 21:36  2.3K  
 coq-gappa_1.5.4-1bui..> 2024-03-24 03:53  2.3K  
 coq-gappa_1.5.5-1bui..> 2024-06-15 17:43  2.3K  
 coq-gappa_1.5.5-1bui..> 2024-05-13 21:39  2.2K  
 coq-gappa_1.5.5-1bui..> 2024-05-02 23:28  2.2K  
 coq-gappa_1.5.3-1bui..> 2023-12-23 15:47  2.2K  
 coq-gappa_1.5.5-1.de..> 2024-05-02 14:53  2.2K  
 coq-gappa_1.5.4-1.de..> 2023-12-23 20:16  2.1K  
 coq-gappa_1.5.4-1bui..> 2024-03-31 21:36  2.1K  
 coq-gappa_1.5.4-1bui..> 2024-03-24 03:53  2.1K  
 coq-gappa_1.5.3-1bui..> 2023-11-23 03:05  2.1K  
 coq-gappa_1.5.4-1bui..> 2024-04-08 10:57  2.1K  
 coq-gappa_1.5.3-1bui..> 2023-11-06 19:44  2.1K  
 coq-gappa_1.5.3-1bui..> 2023-07-26 08:19  2.1K  
 coq-gappa_1.5.5-2bui..> 2024-11-21 10:16  2.0K  
 coq-gappa_1.5.5-2bui..> 2024-09-07 22:04  2.0K  
 coq-gappa_1.5.5-2bui..> 2024-08-15 10:47  2.0K  
 coq-gappa_1.5.2-5bui..> 2023-02-16 21:50  2.0K  
 coq-gappa_1.5.5-1.dsc   2024-05-02 14:53  2.0K  
 coq-gappa_1.5.4-1.dsc   2023-12-23 20:16  2.0K  
 coq-gappa_1.5.5-1bui..> 2024-06-15 17:43  2.0K  
 coq-gappa_1.5.5-1bui..> 2024-05-13 21:39  2.0K  
 coq-gappa_1.5.5-1bui..> 2024-05-02 23:28  2.0K  
 coq-gappa_1.5.3-1bui..> 2023-12-23 15:47  2.0K  
 coq-gappa_1.5.3-1bui..> 2023-11-23 03:05  2.0K  
 coq-gappa_1.5.3-1bui..> 2023-11-06 19:44  2.0K  
 coq-gappa_1.5.3-1bui..> 2023-07-26 08:19  2.0K  
 coq-gappa_1.5.2-5bui..> 2023-02-16 21:50  2.0K  
 coq-gappa_1.5.5-2.dsc   2024-08-04 14:34  1.8K