Index of /ubuntu/pool/universe/c/coq-elpi/
../
coq-elpi_1.13.0-1.debian.tar.xz 11-Feb-2022 06:14 2584
coq-elpi_1.13.0-1.dsc 11-Feb-2022 06:14 2088
coq-elpi_1.13.0.orig.tar.gz 11-Feb-2022 06:14 352K
coq-elpi_1.16.0-2build1.debian.tar.xz 17-Feb-2023 06:24 3472
coq-elpi_1.16.0-2build1.dsc 17-Feb-2023 06:24 2029
coq-elpi_1.16.0.orig.tar.gz 21-Nov-2022 06:50 416K
coq-elpi_1.17.1-1build10.debian.tar.xz 23-Nov-2023 07:05 3716
coq-elpi_1.17.1-1build10.dsc 23-Nov-2023 07:05 2033
coq-elpi_1.17.1-1build8.debian.tar.xz 28-Aug-2023 22:19 3692
coq-elpi_1.17.1-1build8.dsc 28-Aug-2023 22:19 2029
coq-elpi_1.17.1-1build9.debian.tar.xz 05-Nov-2023 02:39 3708
coq-elpi_1.17.1-1build9.dsc 05-Nov-2023 02:39 2029
coq-elpi_1.17.1.orig.tar.gz 13-Jun-2023 12:30 420K
coq-elpi_1.19.3-1.debian.tar.xz 23-Dec-2023 00:26 3108
coq-elpi_1.19.3-1.dsc 23-Dec-2023 00:26 2030
coq-elpi_1.19.3-2.debian.tar.xz 04-Jan-2024 01:29 3644
coq-elpi_1.19.3-2.dsc 04-Jan-2024 01:29 1799
coq-elpi_1.19.3-2build1.debian.tar.xz 17-Feb-2024 07:37 3700
coq-elpi_1.19.3-2build1.dsc 17-Feb-2024 07:37 2029
coq-elpi_1.19.3-2build2.debian.tar.xz 24-Mar-2024 07:53 3816
coq-elpi_1.19.3-2build2.dsc 24-Mar-2024 07:53 2145
coq-elpi_1.19.3-2build3.debian.tar.xz 01-Apr-2024 01:36 3840
coq-elpi_1.19.3-2build3.dsc 01-Apr-2024 01:36 2145
coq-elpi_1.19.3-2build4.debian.tar.xz 08-Apr-2024 14:57 3852
coq-elpi_1.19.3-2build4.dsc 08-Apr-2024 14:57 2108
coq-elpi_1.19.3.orig.tar.gz 23-Dec-2023 00:26 558K
coq-elpi_2.1.0-1.debian.tar.xz 02-May-2024 18:53 3656
coq-elpi_2.1.0-1.dsc 02-May-2024 18:53 2023
coq-elpi_2.1.0-1build1.debian.tar.xz 03-May-2024 03:28 3724
coq-elpi_2.1.0-1build1.dsc 03-May-2024 03:28 2022
coq-elpi_2.1.0-1build10.debian.tar.xz 19-Nov-2024 20:31 3912
coq-elpi_2.1.0-1build10.dsc 19-Nov-2024 20:31 2026
coq-elpi_2.1.0-1build2.debian.tar.xz 04-Jun-2024 04:43 3736
coq-elpi_2.1.0-1build2.dsc 04-Jun-2024 04:43 2022
coq-elpi_2.1.0-1build3.debian.tar.xz 15-Jun-2024 21:43 3744
coq-elpi_2.1.0-1build3.dsc 15-Jun-2024 21:43 2022
coq-elpi_2.1.0-1build4.debian.tar.xz 04-Aug-2024 23:09 3804
coq-elpi_2.1.0-1build4.dsc 04-Aug-2024 23:09 2022
coq-elpi_2.1.0-1build5.debian.tar.xz 09-Aug-2024 20:49 3804
coq-elpi_2.1.0-1build5.dsc 09-Aug-2024 20:49 2022
coq-elpi_2.1.0-1build6.debian.tar.xz 07-Sep-2024 14:08 3820
coq-elpi_2.1.0-1build6.dsc 07-Sep-2024 14:08 2022
coq-elpi_2.1.0-1build7.debian.tar.xz 07-Sep-2024 18:28 3828
coq-elpi_2.1.0-1build7.dsc 07-Sep-2024 18:28 2022
coq-elpi_2.1.0-1build8.debian.tar.xz 12-Sep-2024 03:51 3836
coq-elpi_2.1.0-1build8.dsc 12-Sep-2024 03:51 2022
coq-elpi_2.1.0-1build9.debian.tar.xz 17-Sep-2024 22:51 3852
coq-elpi_2.1.0-1build9.dsc 17-Sep-2024 22:51 2022
coq-elpi_2.1.0.orig.tar.gz 02-May-2024 18:53 699K
coq-elpi_2.2.3-1.debian.tar.xz 21-Nov-2024 01:47 3720
coq-elpi_2.2.3-1.dsc 21-Nov-2024 01:47 2061
coq-elpi_2.2.3-1build1.debian.tar.xz 21-Nov-2024 10:11 3780
coq-elpi_2.2.3-1build1.dsc 21-Nov-2024 10:11 2060
coq-elpi_2.2.3.orig.tar.gz 21-Nov-2024 01:47 736K
coq-elpi_2.3.0-1.debian.tar.xz 19-Dec-2024 06:41 3752
coq-elpi_2.3.0-1.dsc 19-Dec-2024 06:41 2079
coq-elpi_2.3.0-1build1.debian.tar.xz 23-Jan-2025 16:05 3820
coq-elpi_2.3.0-1build1.dsc 23-Jan-2025 16:05 2066
coq-elpi_2.3.0-1build2.debian.tar.xz 31-Jan-2025 04:56 3828
coq-elpi_2.3.0-1build2.dsc 31-Jan-2025 04:56 2066
coq-elpi_2.3.0-1build3.debian.tar.xz 13-Feb-2025 05:46 3844
coq-elpi_2.3.0-1build3.dsc 13-Feb-2025 05:46 2066
coq-elpi_2.3.0-1build4.debian.tar.xz 14-Feb-2025 06:33 3856
coq-elpi_2.3.0-1build4.dsc 14-Feb-2025 06:33 2066
coq-elpi_2.3.0.orig.tar.gz 19-Dec-2024 06:41 717K
coq-elpi_2.4.0-1.debian.tar.xz 18-Feb-2025 08:39 3784
coq-elpi_2.4.0-1.dsc 18-Feb-2025 08:39 2079
coq-elpi_2.4.0-1build1.debian.tar.xz 19-Feb-2025 04:25 3848
coq-elpi_2.4.0-1build1.dsc 19-Feb-2025 04:25 2066
coq-elpi_2.4.0.orig.tar.gz 18-Feb-2025 08:39 718K
coq-elpi_2.5.0-1.1.debian.tar.xz 17-Jun-2025 18:28 3900
coq-elpi_2.5.0-1.1.dsc 17-Jun-2025 18:28 2050
coq-elpi_2.5.0-1.1build1.debian.tar.xz 01-Sep-2025 02:42 3936
coq-elpi_2.5.0-1.1build1.dsc 01-Sep-2025 02:42 2074
coq-elpi_2.5.0-1.debian.tar.xz 01-May-2025 23:23 3308
coq-elpi_2.5.0-1.dsc 01-May-2025 23:23 2080
coq-elpi_2.5.0-1ubuntu1.debian.tar.xz 27-May-2025 20:04 3704
coq-elpi_2.5.0-1ubuntu1.dsc 27-May-2025 20:04 2070
coq-elpi_2.5.0.orig.tar.gz 01-May-2025 23:23 728K
libcoq-elpi-ocaml-dev_1.13.0-1_amd64.deb 11-Feb-2022 06:34 2M
libcoq-elpi-ocaml_1.13.0-1_amd64.deb 11-Feb-2022 06:34 5M
libcoq-elpi_1.16.0-2build1_amd64.deb 17-Feb-2023 08:14 3M
libcoq-elpi_1.17.1-1build10_amd64.deb 23-Nov-2023 07:05 3M
libcoq-elpi_1.17.1-1build8_amd64.deb 28-Aug-2023 22:48 3M
libcoq-elpi_1.17.1-1build9_amd64.deb 06-Nov-2023 04:09 3M
libcoq-elpi_1.19.3-1_amd64.deb 23-Dec-2023 07:12 6M
libcoq-elpi_1.19.3-2_amd64.deb 04-Jan-2024 01:29 6M
libcoq-elpi_1.19.3-2build1_amd64.deb 17-Feb-2024 15:53 3M
libcoq-elpi_1.19.3-2build2_amd64.deb 24-Mar-2024 07:53 3M
libcoq-elpi_1.19.3-2build3_amd64.deb 01-Apr-2024 02:32 3M
libcoq-elpi_1.19.3-2build4_amd64.deb 08-Apr-2024 14:57 3M
libcoq-elpi_2.1.0-1build10_amd64.deb 19-Nov-2024 23:23 3M
libcoq-elpi_2.1.0-1build1_amd64.deb 03-May-2024 12:21 4M
libcoq-elpi_2.1.0-1build2_amd64.deb 05-Jun-2024 20:07 4M
libcoq-elpi_2.1.0-1build3_amd64.deb 15-Jun-2024 22:23 4M
libcoq-elpi_2.1.0-1build4_amd64.deb 04-Aug-2024 23:09 4M
libcoq-elpi_2.1.0-1build5_amd64.deb 14-Aug-2024 20:42 3M
libcoq-elpi_2.1.0-1build6_amd64.deb 07-Sep-2024 14:09 3M
libcoq-elpi_2.1.0-1build7_amd64.deb 07-Sep-2024 18:28 3M
libcoq-elpi_2.1.0-1build8_amd64.deb 12-Sep-2024 18:25 3M
libcoq-elpi_2.1.0-1build9_amd64.deb 20-Sep-2024 00:02 3M
libcoq-elpi_2.2.3-1_amd64.deb 21-Nov-2024 01:48 9M
libcoq-elpi_2.2.3-1build1_amd64.deb 21-Nov-2024 10:11 8M
libcoq-elpi_2.3.0-1_amd64.deb 19-Dec-2024 22:21 12M
libcoq-elpi_2.3.0-1build1_amd64.deb 26-Jan-2025 01:58 12M
libcoq-elpi_2.3.0-1build2_amd64.deb 02-Feb-2025 00:02 12M
libcoq-elpi_2.3.0-1build4_amd64.deb 15-Feb-2025 15:22 12M
libcoq-elpi_2.4.0-1_amd64.deb 18-Feb-2025 12:59 13M
libcoq-elpi_2.4.0-1build1_amd64.deb 19-Feb-2025 04:25 13M
libcoq-elpi_2.5.0-1.1_amd64.deb 20-Jun-2025 11:01 12M
libcoq-elpi_2.5.0-1.1build1_amd64.deb 01-Sep-2025 10:34 12M
libcoq-elpi_2.5.0-1_amd64.deb 02-May-2025 02:15 13M
libcoq-elpi_2.5.0-1ubuntu1_amd64.deb 27-May-2025 20:04 12M