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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 libcoq-elpi_2.2.3-1_..> 2024-11-20 21:48  9.0M  
 libcoq-elpi_2.2.3-1b..> 2024-11-21 06:11  7.6M  
 libcoq-elpi_1.19.3-1..> 2023-12-23 03:12  5.7M  
 libcoq-elpi_1.19.3-2..> 2024-01-03 21:29  5.7M  
 libcoq-elpi-ocaml_1...> 2022-02-11 02:34  4.8M  
 libcoq-elpi_2.1.0-1b..> 2024-06-05 16:07  4.1M  
 libcoq-elpi_2.1.0-1b..> 2024-05-03 08:21  4.1M  
 libcoq-elpi_2.1.0-1b..> 2024-06-15 18:23  3.9M  
 libcoq-elpi_2.1.0-1b..> 2024-08-04 19:09  3.9M  
 libcoq-elpi_1.19.3-2..> 2024-04-08 10:57  3.0M  
 libcoq-elpi_1.19.3-2..> 2024-03-24 03:53  3.0M  
 libcoq-elpi_1.19.3-2..> 2024-02-17 11:53  3.0M  
 libcoq-elpi_1.19.3-2..> 2024-03-31 22:32  3.0M  
 libcoq-elpi_2.1.0-1b..> 2024-08-14 16:42  2.9M  
 libcoq-elpi_2.1.0-1b..> 2024-09-07 10:09  2.9M  
 libcoq-elpi_2.1.0-1b..> 2024-09-07 14:28  2.9M  
 libcoq-elpi_2.1.0-1b..> 2024-09-19 20:02  2.9M  
 libcoq-elpi_2.1.0-1b..> 2024-09-12 14:25  2.9M  
 libcoq-elpi_2.1.0-1b..> 2024-11-19 19:23  2.9M  
 libcoq-elpi_1.17.1-1..> 2023-08-28 18:48  2.9M  
 libcoq-elpi_1.17.1-1..> 2023-11-06 00:09  2.9M  
 libcoq-elpi_1.17.1-1..> 2023-11-23 03:05  2.9M  
 libcoq-elpi_1.16.0-2..> 2023-02-17 04:14  2.9M  
 libcoq-elpi-ocaml-de..> 2022-02-11 02:34  1.6M  
 coq-elpi_2.2.3.orig...> 2024-11-20 21:47  736K  
 coq-elpi_2.1.0.orig...> 2024-05-02 14:53  699K  
 coq-elpi_1.19.3.orig..> 2023-12-22 20:26  558K  
 coq-elpi_1.17.1.orig..> 2023-06-13 08:30  420K  
 coq-elpi_1.16.0.orig..> 2022-11-21 02:50  416K  
 coq-elpi_1.13.0.orig..> 2022-02-11 02:14  352K  
 coq-elpi_2.1.0-1buil..> 2024-11-19 16:31  3.8K  
 coq-elpi_2.1.0-1buil..> 2024-09-17 18:51  3.8K  
 coq-elpi_1.19.3-2bui..> 2024-04-08 10:57  3.8K  
 coq-elpi_1.19.3-2bui..> 2024-03-31 21:36  3.8K  
 coq-elpi_2.1.0-1buil..> 2024-09-11 23:51  3.7K  
 coq-elpi_2.1.0-1buil..> 2024-09-07 14:28  3.7K  
 coq-elpi_2.1.0-1buil..> 2024-09-07 10:08  3.7K  
 coq-elpi_1.19.3-2bui..> 2024-03-24 03:53  3.7K  
 coq-elpi_2.1.0-1buil..> 2024-08-09 16:49  3.7K  
 coq-elpi_2.1.0-1buil..> 2024-08-04 19:09  3.7K  
 coq-elpi_2.2.3-1buil..> 2024-11-21 06:11  3.7K  
 coq-elpi_2.1.0-1buil..> 2024-06-15 17:43  3.7K  
 coq-elpi_2.1.0-1buil..> 2024-06-04 00:43  3.6K  
 coq-elpi_2.1.0-1buil..> 2024-05-02 23:28  3.6K  
 coq-elpi_2.2.3-1.deb..> 2024-11-20 21:47  3.6K  
 coq-elpi_1.17.1-1bui..> 2023-11-23 03:05  3.6K  
 coq-elpi_1.17.1-1bui..> 2023-11-04 22:39  3.6K  
 coq-elpi_1.19.3-2bui..> 2024-02-17 03:37  3.6K  
 coq-elpi_1.17.1-1bui..> 2023-08-28 18:19  3.6K  
 coq-elpi_2.1.0-1.deb..> 2024-05-02 14:53  3.6K  
 coq-elpi_1.19.3-2.de..> 2024-01-03 21:29  3.6K  
 coq-elpi_1.16.0-2bui..> 2023-02-17 02:24  3.4K  
 coq-elpi_1.19.3-1.de..> 2023-12-22 20:26  3.0K  
 coq-elpi_1.13.0-1.de..> 2022-02-11 02:14  2.5K  
 coq-elpi_1.19.3-2bui..> 2024-03-31 21:36  2.1K  
 coq-elpi_1.19.3-2bui..> 2024-03-24 03:53  2.1K  
 coq-elpi_1.19.3-2bui..> 2024-04-08 10:57  2.1K  
 coq-elpi_1.13.0-1.dsc   2022-02-11 02:14  2.0K  
 coq-elpi_2.2.3-1.dsc    2024-11-20 21:47  2.0K  
 coq-elpi_2.2.3-1buil..> 2024-11-21 06:11  2.0K  
 coq-elpi_1.17.1-1bui..> 2023-11-23 03:05  2.0K  
 coq-elpi_1.19.3-1.dsc   2023-12-22 20:26  2.0K  
 coq-elpi_1.19.3-2bui..> 2024-02-17 03:37  2.0K  
 coq-elpi_1.17.1-1bui..> 2023-11-04 22:39  2.0K  
 coq-elpi_1.17.1-1bui..> 2023-08-28 18:19  2.0K  
 coq-elpi_1.16.0-2bui..> 2023-02-17 02:24  2.0K  
 coq-elpi_2.1.0-1buil..> 2024-11-19 16:31  2.0K  
 coq-elpi_2.1.0-1.dsc    2024-05-02 14:53  2.0K  
 coq-elpi_2.1.0-1buil..> 2024-09-17 18:51  2.0K  
 coq-elpi_2.1.0-1buil..> 2024-09-11 23:51  2.0K  
 coq-elpi_2.1.0-1buil..> 2024-09-07 14:28  2.0K  
 coq-elpi_2.1.0-1buil..> 2024-09-07 10:08  2.0K  
 coq-elpi_2.1.0-1buil..> 2024-08-09 16:49  2.0K  
 coq-elpi_2.1.0-1buil..> 2024-08-04 19:09  2.0K  
 coq-elpi_2.1.0-1buil..> 2024-06-15 17:43  2.0K  
 coq-elpi_2.1.0-1buil..> 2024-06-04 00:43  2.0K  
 coq-elpi_2.1.0-1buil..> 2024-05-02 23:28  2.0K  
 coq-elpi_1.19.3-2.dsc   2024-01-03 21:29  1.8K