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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 libcoq-corn_8.19.0-1..> 2024-05-03 01:58  4.6K  
 libcoq-corn_8.19.0-1..> 2024-05-02 14:53  4.5K  
 libcoq-corn_8.19.0+d..> 2024-11-21 14:11   14M  
 libcoq-corn_8.19.0+d..> 2024-11-20 21:48   15M  
 libcoq-corn_8.19.0+d..> 2024-09-08 06:03   15M  
 libcoq-corn_8.19.0+d..> 2024-08-15 17:20   15M  
 libcoq-corn_8.19.0+d..> 2024-08-05 01:29   15M  
 libcoq-corn_8.19.0+d..> 2024-06-30 14:29   15M  
 libcoq-corn_8.19.0+d..> 2024-06-15 21:13   15M  
 libcoq-corn_8.19.0+d..> 2024-05-12 02:49   15M  
 libcoq-corn_8.18.0-1..> 2024-04-08 17:36   15M  
 libcoq-corn_8.18.0-1..> 2024-03-31 22:32   15M  
 libcoq-corn_8.18.0-1..> 2024-03-24 13:37   15M  
 libcoq-corn_8.18.0-1..> 2023-12-24 20:27   19M  
 libcoq-corn_8.16.0-3..> 2023-11-23 03:05   12M  
 libcoq-corn_8.16.0-3..> 2023-11-15 11:36   12M  
 libcoq-corn_8.16.0-3..> 2023-07-26 12:58   12M  
 libcoq-corn_8.16.0-2..> 2023-02-17 10:29   12M  
 coq-corn_8.19.0.orig..> 2024-05-02 14:53  165K  
 coq-corn_8.19.0-1bui..> 2024-05-02 23:28  2.0K  
 coq-corn_8.19.0-1bui..> 2024-05-02 23:28  4.1K  
 coq-corn_8.19.0-1.dsc   2024-05-02 14:53  2.0K  
 coq-corn_8.19.0-1.de..> 2024-05-02 14:53  4.0K  
 coq-corn_8.19.0+ds1...> 2024-05-12 02:49  1.3M  
 coq-corn_8.19.0+ds1-..> 2024-11-21 13:15  2.1K  
 coq-corn_8.19.0+ds1-..> 2024-11-21 13:15  4.2K  
 coq-corn_8.19.0+ds1-..> 2024-11-20 21:47  2.1K  
 coq-corn_8.19.0+ds1-..> 2024-11-20 21:47  4.2K  
 coq-corn_8.19.0+ds1-..> 2024-09-08 06:03  2.1K  
 coq-corn_8.19.0+ds1-..> 2024-09-08 06:03  4.3K  
 coq-corn_8.19.0+ds1-..> 2024-08-15 10:47  2.1K  
 coq-corn_8.19.0+ds1-..> 2024-08-15 10:47  4.3K  
 coq-corn_8.19.0+ds1-..> 2024-08-05 01:28  2.1K  
 coq-corn_8.19.0+ds1-..> 2024-08-05 01:28  4.3K  
 coq-corn_8.19.0+ds1-..> 2024-06-30 14:29  2.1K  
 coq-corn_8.19.0+ds1-..> 2024-06-30 14:29  4.3K  
 coq-corn_8.19.0+ds1-..> 2024-06-15 17:43  2.1K  
 coq-corn_8.19.0+ds1-..> 2024-06-15 17:43  4.2K  
 coq-corn_8.19.0+ds1-..> 2024-05-12 02:49  2.1K  
 coq-corn_8.19.0+ds1-..> 2024-05-12 02:49  4.1K  
 coq-corn_8.18.0.orig..> 2023-12-24 20:26  1.3M  
 coq-corn_8.18.0-1bui..> 2024-04-08 10:57  2.1K  
 coq-corn_8.18.0-1bui..> 2024-04-08 10:57  4.2K  
 coq-corn_8.18.0-1bui..> 2024-03-31 21:36  2.2K  
 coq-corn_8.18.0-1bui..> 2024-03-31 21:36  4.2K  
 coq-corn_8.18.0-1bui..> 2024-03-24 03:53  2.2K  
 coq-corn_8.18.0-1bui..> 2024-03-24 03:53  4.1K  
 coq-corn_8.18.0-1.dsc   2023-12-24 20:26  2.0K  
 coq-corn_8.18.0-1.de..> 2023-12-24 20:26  4.0K  
 coq-corn_8.16.0.orig..> 2022-11-06 06:17  1.3M  
 coq-corn_8.16.0-3bui..> 2023-12-23 22:26  2.0K  
 coq-corn_8.16.0-3bui..> 2023-12-23 22:26  4.0K  
 coq-corn_8.16.0-3bui..> 2023-11-23 03:05  2.0K  
 coq-corn_8.16.0-3bui..> 2023-11-23 03:05  3.9K  
 coq-corn_8.16.0-3bui..> 2023-11-06 19:44  2.0K  
 coq-corn_8.16.0-3bui..> 2023-11-06 19:44  3.9K  
 coq-corn_8.16.0-3bui..> 2023-07-26 08:19  2.0K  
 coq-corn_8.16.0-3bui..> 2023-07-26 08:19  3.9K  
 coq-corn_8.16.0-2bui..> 2023-02-17 10:29  2.0K  
 coq-corn_8.16.0-2bui..> 2023-02-17 10:29  3.8K