Index of /ubuntu/pool/universe/c/coq-elpi
Name
Last modified
Size
Description
Parent Directory
-
coq-elpi_1.11.2-1.de..>
2021-12-18 07:20
3.8K
coq-elpi_1.11.2-1.dsc
2021-12-18 07:20
2.0K
coq-elpi_1.11.2-2.de..>
2022-01-18 01:19
3.9K
coq-elpi_1.11.2-2.dsc
2022-01-18 01:19
2.0K
coq-elpi_1.11.2.orig..>
2021-12-18 07:20
343K
coq-elpi_1.12.0-1.de..>
2022-01-18 07:14
3.9K
coq-elpi_1.12.0-1.dsc
2022-01-18 07:14
2.0K
coq-elpi_1.12.0.orig..>
2022-01-18 07:14
341K
coq-elpi_1.12.1-1.de..>
2022-01-22 07:49
3.9K
coq-elpi_1.12.1-1.dsc
2022-01-22 07:49
2.0K
coq-elpi_1.12.1-1bui..>
2022-01-26 02:31
4.0K
coq-elpi_1.12.1-1bui..>
2022-01-26 02:31
2.1K
coq-elpi_1.12.1-2.de..>
2022-02-07 01:19
3.9K
coq-elpi_1.12.1-2.dsc
2022-02-07 01:19
2.0K
coq-elpi_1.12.1.orig..>
2022-01-22 07:49
345K
coq-elpi_1.13.0-1.de..>
2022-02-11 07:14
2.5K
coq-elpi_1.13.0-1.dsc
2022-02-11 07:14
2.0K
coq-elpi_1.13.0-7.de..>
2022-04-30 09:36
3.0K
coq-elpi_1.13.0-7.dsc
2022-04-30 09:36
2.1K
coq-elpi_1.13.0-7bui..>
2022-05-02 15:05
3.1K
coq-elpi_1.13.0-7bui..>
2022-05-02 15:05
2.1K
coq-elpi_1.13.0-7bui..>
2022-05-15 00:44
3.1K
coq-elpi_1.13.0-7bui..>
2022-05-15 00:44
2.1K
coq-elpi_1.13.0.orig..>
2022-02-11 07:14
352K
coq-elpi_1.14.0-1.de..>
2022-05-15 07:29
3.1K
coq-elpi_1.14.0-1.dsc
2022-05-15 07:29
2.1K
coq-elpi_1.14.0-2.de..>
2022-05-22 07:34
3.1K
coq-elpi_1.14.0-2.dsc
2022-05-22 07:34
2.1K
coq-elpi_1.14.0-2bui..>
2022-06-02 00:08
3.2K
coq-elpi_1.14.0-2bui..>
2022-06-02 00:08
2.1K
coq-elpi_1.14.0-3.de..>
2022-06-02 01:34
3.1K
coq-elpi_1.14.0-3.dsc
2022-06-02 01:34
2.1K
coq-elpi_1.14.0-4.de..>
2022-06-13 01:23
3.1K
coq-elpi_1.14.0-4.dsc
2022-06-13 01:23
2.1K
coq-elpi_1.14.0-5.de..>
2022-06-13 07:24
3.1K
coq-elpi_1.14.0-5.dsc
2022-06-13 07:24
2.1K
coq-elpi_1.14.0-5bui..>
2022-07-22 00:13
3.2K
coq-elpi_1.14.0-5bui..>
2022-07-22 00:13
2.1K
coq-elpi_1.14.0.orig..>
2022-05-15 07:29
352K
coq-elpi_1.15.6-2.de..>
2022-11-06 11:17
3.2K
coq-elpi_1.15.6-2.dsc
2022-11-06 11:17
2.0K
coq-elpi_1.15.6-4.de..>
2022-11-14 20:05
3.3K
coq-elpi_1.15.6-4.dsc
2022-11-14 20:05
2.0K
coq-elpi_1.15.6.orig..>
2022-11-06 11:17
395K
coq-elpi_1.16.0-1.de..>
2022-11-21 07:50
3.3K
coq-elpi_1.16.0-1.dsc
2022-11-21 07:50
2.0K
coq-elpi_1.16.0-1bui..>
2022-11-27 15:48
3.4K
coq-elpi_1.16.0-1bui..>
2022-11-27 15:48
2.0K
coq-elpi_1.16.0-1bui..>
2022-12-04 04:33
3.4K
coq-elpi_1.16.0-1bui..>
2022-12-04 04:33
2.0K
coq-elpi_1.16.0-2.de..>
2023-01-25 19:49
3.3K
coq-elpi_1.16.0-2.dsc
2023-01-25 19:49
2.0K
coq-elpi_1.16.0-2bui..>
2023-02-17 07:24
3.4K
coq-elpi_1.16.0-2bui..>
2023-02-17 07:24
2.0K
coq-elpi_1.16.0.orig..>
2022-11-21 07:50
416K
coq-elpi_1.17.1-1.de..>
2023-06-13 13:30
3.5K
coq-elpi_1.17.1-1.dsc
2023-06-13 13:30
2.0K
coq-elpi_1.17.1-1bui..>
2023-07-08 05:19
3.5K
coq-elpi_1.17.1-1bui..>
2023-07-08 05:19
2.0K
coq-elpi_1.17.1-1bui..>
2023-07-18 14:39
3.5K
coq-elpi_1.17.1-1bui..>
2023-07-18 14:39
2.0K
coq-elpi_1.17.1-1bui..>
2023-07-25 01:37
3.5K
coq-elpi_1.17.1-1bui..>
2023-07-25 01:37
2.0K
coq-elpi_1.17.1-1bui..>
2023-07-26 13:19
3.6K
coq-elpi_1.17.1-1bui..>
2023-07-26 13:19
2.0K
coq-elpi_1.17.1-1bui..>
2023-07-27 18:19
3.6K
coq-elpi_1.17.1-1bui..>
2023-07-27 18:19
2.0K
coq-elpi_1.17.1-1bui..>
2023-07-28 11:43
3.6K
coq-elpi_1.17.1-1bui..>
2023-07-28 11:43
2.0K
coq-elpi_1.17.1-1bui..>
2023-08-20 16:09
3.6K
coq-elpi_1.17.1-1bui..>
2023-08-20 16:09
2.0K
coq-elpi_1.17.1-1bui..>
2023-08-28 23:19
3.6K
coq-elpi_1.17.1-1bui..>
2023-08-28 23:19
2.0K
coq-elpi_1.17.1-1bui..>
2023-11-05 03:39
3.6K
coq-elpi_1.17.1-1bui..>
2023-11-05 03:39
2.0K
coq-elpi_1.17.1-1bui..>
2023-11-23 08:05
3.6K
coq-elpi_1.17.1-1bui..>
2023-11-23 08:05
2.0K
coq-elpi_1.17.1.orig..>
2023-06-13 13:30
420K
coq-elpi_1.19.3-1.de..>
2023-12-23 01:26
3.0K
coq-elpi_1.19.3-1.dsc
2023-12-23 01:26
2.0K
coq-elpi_1.19.3-2.de..>
2024-01-04 02:29
3.6K
coq-elpi_1.19.3-2.dsc
2024-01-04 02:29
1.8K
coq-elpi_1.19.3-2bui..>
2024-02-17 08:37
3.6K
coq-elpi_1.19.3-2bui..>
2024-02-17 08:37
2.0K
coq-elpi_1.19.3-2bui..>
2024-03-24 08:53
3.7K
coq-elpi_1.19.3-2bui..>
2024-03-24 08:53
2.1K
coq-elpi_1.19.3-2bui..>
2024-04-01 02:36
3.8K
coq-elpi_1.19.3-2bui..>
2024-04-01 02:36
2.1K
coq-elpi_1.19.3-2bui..>
2024-04-08 15:57
3.8K
coq-elpi_1.19.3-2bui..>
2024-04-08 15:57
2.1K
coq-elpi_1.19.3.orig..>
2023-12-23 01:26
558K
coq-elpi_2.1.0-1.deb..>
2024-05-02 19:53
3.6K
coq-elpi_2.1.0-1.dsc
2024-05-02 19:53
2.0K
coq-elpi_2.1.0-1buil..>
2024-05-03 04:28
3.6K
coq-elpi_2.1.0-1buil..>
2024-05-03 04:28
2.0K
coq-elpi_2.1.0.orig...>
2024-05-02 19:53
699K
libcoq-elpi-ocaml-de..>
2021-12-18 07:39
1.4M
libcoq-elpi-ocaml-de..>
2022-01-18 02:04
1.4M
libcoq-elpi-ocaml-de..>
2022-01-18 10:43
1.4M
libcoq-elpi-ocaml-de..>
2022-01-22 07:49
1.4M
libcoq-elpi-ocaml-de..>
2022-01-26 02:31
1.5M
libcoq-elpi-ocaml-de..>
2022-02-07 01:39
1.5M
libcoq-elpi-ocaml-de..>
2022-02-11 07:34
1.6M
libcoq-elpi-ocaml-de..>
2022-04-30 22:40
1.6M
libcoq-elpi-ocaml-de..>
2022-05-02 15:24
1.6M
libcoq-elpi-ocaml-de..>
2022-05-15 07:29
1.6M
libcoq-elpi-ocaml-de..>
2022-05-22 07:34
1.6M
libcoq-elpi-ocaml-de..>
2022-06-02 00:09
1.6M
libcoq-elpi-ocaml-de..>
2022-06-02 01:34
1.6M
libcoq-elpi-ocaml-de..>
2022-06-13 01:24
1.6M
libcoq-elpi-ocaml-de..>
2022-06-13 07:24
1.6M
libcoq-elpi-ocaml-de..>
2022-07-22 00:13
1.6M
libcoq-elpi-ocaml_1...>
2021-12-18 07:39
4.5M
libcoq-elpi-ocaml_1...>
2022-01-18 02:04
4.5M
libcoq-elpi-ocaml_1...>
2022-01-18 10:43
4.5M
libcoq-elpi-ocaml_1...>
2022-01-22 07:49
4.5M
libcoq-elpi-ocaml_1...>
2022-01-26 02:31
4.5M
libcoq-elpi-ocaml_1...>
2022-02-07 01:39
4.5M
libcoq-elpi-ocaml_1...>
2022-02-11 07:34
4.8M
libcoq-elpi-ocaml_1...>
2022-04-30 22:40
4.2M
libcoq-elpi-ocaml_1...>
2022-05-02 15:24
4.2M
libcoq-elpi-ocaml_1...>
2022-05-15 07:29
7.9M
libcoq-elpi-ocaml_1...>
2022-05-22 07:34
7.9M
libcoq-elpi-ocaml_1...>
2022-06-02 00:09
7.9M
libcoq-elpi-ocaml_1...>
2022-06-02 01:34
7.9M
libcoq-elpi-ocaml_1...>
2022-06-13 01:24
7.9M
libcoq-elpi-ocaml_1...>
2022-06-13 07:24
7.9M
libcoq-elpi-ocaml_1...>
2022-07-22 00:13
8.0M
libcoq-elpi_1.13.0-7..>
2022-04-30 22:40
499K
libcoq-elpi_1.13.0-7..>
2022-05-02 15:24
498K
libcoq-elpi_1.14.0-1..>
2022-05-15 07:29
495K
libcoq-elpi_1.14.0-2..>
2022-05-22 07:34
495K
libcoq-elpi_1.14.0-2..>
2022-06-02 00:09
495K
libcoq-elpi_1.14.0-3..>
2022-06-02 01:34
495K
libcoq-elpi_1.14.0-4..>
2022-06-13 01:24
496K
libcoq-elpi_1.14.0-5..>
2022-06-13 07:24
495K
libcoq-elpi_1.14.0-5..>
2022-07-22 00:13
495K
libcoq-elpi_1.16.0-1..>
2022-11-27 15:48
2.9M
libcoq-elpi_1.16.0-1..>
2022-12-04 04:33
2.9M
libcoq-elpi_1.16.0-2..>
2023-01-27 23:44
2.9M
libcoq-elpi_1.16.0-2..>
2023-02-17 09:14
2.9M
libcoq-elpi_1.17.1-1..>
2023-06-13 13:30
2.9M
libcoq-elpi_1.17.1-1..>
2023-07-08 06:59
2.9M
libcoq-elpi_1.17.1-1..>
2023-07-18 15:39
2.9M
libcoq-elpi_1.17.1-1..>
2023-07-25 04:24
2.9M
libcoq-elpi_1.17.1-1..>
2023-07-26 14:22
2.9M
libcoq-elpi_1.17.1-1..>
2023-07-27 19:19
2.9M
libcoq-elpi_1.17.1-1..>
2023-07-28 12:09
2.9M
libcoq-elpi_1.17.1-1..>
2023-08-20 17:49
2.9M
libcoq-elpi_1.17.1-1..>
2023-08-28 23:48
2.9M
libcoq-elpi_1.17.1-1..>
2023-11-06 05:09
2.9M
libcoq-elpi_1.17.1-1..>
2023-11-23 08:05
2.9M
libcoq-elpi_1.19.3-1..>
2023-12-23 08:12
5.7M
libcoq-elpi_1.19.3-2..>
2024-01-04 02:29
5.7M
libcoq-elpi_1.19.3-2..>
2024-02-17 16:53
3.0M
libcoq-elpi_1.19.3-2..>
2024-03-24 08:53
3.0M
libcoq-elpi_1.19.3-2..>
2024-04-01 03:32
3.0M
libcoq-elpi_1.19.3-2..>
2024-04-08 15:57
3.0M
libcoq-elpi_2.1.0-1b..>
2024-05-03 13:21
4.1M