Index of /ubuntu/pool/universe/c/coq-elpi/
../
coq-elpi_1.11.2-1.debian.tar.xz 17-Dec-2021 23:20 3932
coq-elpi_1.11.2-1.dsc 17-Dec-2021 23:20 2078
coq-elpi_1.11.2-2.debian.tar.xz 17-Jan-2022 17:19 3988
coq-elpi_1.11.2-2.dsc 17-Jan-2022 17:19 2078
coq-elpi_1.11.2.orig.tar.gz 17-Dec-2021 23:20 351528
coq-elpi_1.12.0-1.debian.tar.xz 17-Jan-2022 23:14 3984
coq-elpi_1.12.0-1.dsc 17-Jan-2022 23:14 2088
coq-elpi_1.12.0.orig.tar.gz 17-Jan-2022 23:14 348903
coq-elpi_1.12.1-1.debian.tar.xz 21-Jan-2022 23:49 4000
coq-elpi_1.12.1-1.dsc 21-Jan-2022 23:49 2088
coq-elpi_1.12.1-1build1.debian.tar.xz 25-Jan-2022 18:31 4068
coq-elpi_1.12.1-1build1.dsc 25-Jan-2022 18:31 2112
coq-elpi_1.12.1-2.debian.tar.xz 06-Feb-2022 17:19 4040
coq-elpi_1.12.1-2.dsc 06-Feb-2022 17:19 2088
coq-elpi_1.12.1.orig.tar.gz 21-Jan-2022 23:49 353244
coq-elpi_1.13.0-1.debian.tar.xz 10-Feb-2022 23:14 2584
coq-elpi_1.13.0-1.dsc 10-Feb-2022 23:14 2088
coq-elpi_1.13.0-7.debian.tar.xz 30-Apr-2022 01:36 3052
coq-elpi_1.13.0-7.dsc 30-Apr-2022 01:36 2142
coq-elpi_1.13.0-7build1.debian.tar.xz 02-May-2022 07:05 3132
coq-elpi_1.13.0-7build1.dsc 02-May-2022 07:05 2141
coq-elpi_1.13.0-7build2.debian.tar.xz 14-May-2022 16:44 3148
coq-elpi_1.13.0-7build2.dsc 14-May-2022 16:44 2141
coq-elpi_1.13.0.orig.tar.gz 10-Feb-2022 23:14 360052
coq-elpi_1.14.0-1.debian.tar.xz 14-May-2022 23:29 3136
coq-elpi_1.14.0-1.dsc 14-May-2022 23:29 2142
coq-elpi_1.14.0-2.debian.tar.xz 21-May-2022 23:34 3164
coq-elpi_1.14.0-2.dsc 21-May-2022 23:34 2142
coq-elpi_1.14.0-2build1.debian.tar.xz 01-Jun-2022 16:08 3240
coq-elpi_1.14.0-2build1.dsc 01-Jun-2022 16:08 2141
coq-elpi_1.14.0-3.debian.tar.xz 01-Jun-2022 17:34 3172
coq-elpi_1.14.0-3.dsc 01-Jun-2022 17:34 2142
coq-elpi_1.14.0-4.debian.tar.xz 12-Jun-2022 17:23 3188
coq-elpi_1.14.0-4.dsc 12-Jun-2022 17:23 2165
coq-elpi_1.14.0-5.debian.tar.xz 12-Jun-2022 23:24 3208
coq-elpi_1.14.0-5.dsc 12-Jun-2022 23:24 2165
coq-elpi_1.14.0-5build1.debian.tar.xz 21-Jul-2022 16:13 3284
coq-elpi_1.14.0-5build1.dsc 21-Jul-2022 16:13 2164
coq-elpi_1.14.0.orig.tar.gz 14-May-2022 23:29 360407
coq-elpi_1.15.6-2.debian.tar.xz 06-Nov-2022 03:17 3256
coq-elpi_1.15.6-2.dsc 06-Nov-2022 03:17 2025
coq-elpi_1.15.6-4.debian.tar.xz 14-Nov-2022 12:05 3328
coq-elpi_1.15.6-4.dsc 14-Nov-2022 12:05 2025
coq-elpi_1.15.6.orig.tar.gz 06-Nov-2022 03:17 404950
coq-elpi_1.16.0-1.debian.tar.xz 20-Nov-2022 23:50 3372
coq-elpi_1.16.0-1.dsc 20-Nov-2022 23:50 2025
coq-elpi_1.16.0-1build1.debian.tar.xz 27-Nov-2022 07:48 3436
coq-elpi_1.16.0-1build1.dsc 27-Nov-2022 07:48 2024
coq-elpi_1.16.0-1build2.debian.tar.xz 03-Dec-2022 20:33 3448
coq-elpi_1.16.0-1build2.dsc 03-Dec-2022 20:33 2024
coq-elpi_1.16.0-2.debian.tar.xz 25-Jan-2023 11:49 3412
coq-elpi_1.16.0-2.dsc 25-Jan-2023 11:49 2030
coq-elpi_1.16.0-2build1.debian.tar.xz 16-Feb-2023 23:24 3472
coq-elpi_1.16.0-2build1.dsc 16-Feb-2023 23:24 2029
coq-elpi_1.16.0.orig.tar.gz 20-Nov-2022 23:50 426223
coq-elpi_1.17.1-1.debian.tar.xz 13-Jun-2023 05:30 3544
coq-elpi_1.17.1-1.dsc 13-Jun-2023 05:30 2030
coq-elpi_1.17.1-1build1.debian.tar.xz 07-Jul-2023 21:19 3604
coq-elpi_1.17.1-1build1.dsc 07-Jul-2023 21:19 2029
coq-elpi_1.17.1-1build2.debian.tar.xz 18-Jul-2023 06:39 3620
coq-elpi_1.17.1-1build2.dsc 18-Jul-2023 06:39 2029
coq-elpi_1.17.1-1build3.debian.tar.xz 24-Jul-2023 17:37 3632
coq-elpi_1.17.1-1build3.dsc 24-Jul-2023 17:37 2029
coq-elpi_1.17.1-1build4.debian.tar.xz 26-Jul-2023 05:19 3644
coq-elpi_1.17.1-1build4.dsc 26-Jul-2023 05:19 2029
coq-elpi_1.17.1-1build5.debian.tar.xz 27-Jul-2023 10:19 3652
coq-elpi_1.17.1-1build5.dsc 27-Jul-2023 10:19 2029
coq-elpi_1.17.1-1build6.debian.tar.xz 28-Jul-2023 03:43 3664
coq-elpi_1.17.1-1build6.dsc 28-Jul-2023 03:43 2029
coq-elpi_1.17.1-1build7.debian.tar.xz 20-Aug-2023 08:09 3676
coq-elpi_1.17.1-1build7.dsc 20-Aug-2023 08:09 2029
coq-elpi_1.17.1-1build8.debian.tar.xz 28-Aug-2023 15:19 3692
coq-elpi_1.17.1-1build8.dsc 28-Aug-2023 15:19 2029
coq-elpi_1.17.1.orig.tar.gz 13-Jun-2023 05:30 430263
coq-elpi_1.19.3-2build1.debian.tar.xz 17-Feb-2024 00:37 3700
coq-elpi_1.19.3-2build1.dsc 17-Feb-2024 00:37 2029
coq-elpi_1.19.3-2build2.debian.tar.xz 24-Mar-2024 00:53 3816
coq-elpi_1.19.3-2build2.dsc 24-Mar-2024 00:53 2145
coq-elpi_1.19.3.orig.tar.gz 22-Dec-2023 17:26 571678
libcoq-elpi-ocaml-dev_1.11.2-1_amd64.deb 17-Dec-2021 23:39 1490896
libcoq-elpi-ocaml-dev_1.11.2-2_amd64.deb 17-Jan-2022 18:04 1491006
libcoq-elpi-ocaml-dev_1.12.0-1_amd64.deb 18-Jan-2022 02:43 1496150
libcoq-elpi-ocaml-dev_1.12.1-1_amd64.deb 21-Jan-2022 23:49 1496172
libcoq-elpi-ocaml-dev_1.12.1-1build1_amd64.deb 25-Jan-2022 18:31 1535584
libcoq-elpi-ocaml-dev_1.12.1-2_amd64.deb 06-Feb-2022 17:39 1534822
libcoq-elpi-ocaml-dev_1.13.0-1_amd64.deb 10-Feb-2022 23:34 1711524
libcoq-elpi-ocaml-dev_1.13.0-7_amd64.deb 30-Apr-2022 14:40 1692068
libcoq-elpi-ocaml-dev_1.13.0-7build1_amd64.deb 02-May-2022 07:24 1688590
libcoq-elpi-ocaml-dev_1.14.0-1_amd64.deb 14-May-2022 23:29 1694758
libcoq-elpi-ocaml-dev_1.14.0-2_amd64.deb 21-May-2022 23:34 1694730
libcoq-elpi-ocaml-dev_1.14.0-2build1_amd64.deb 01-Jun-2022 16:09 1694764
libcoq-elpi-ocaml-dev_1.14.0-3_amd64.deb 01-Jun-2022 17:34 1694732
libcoq-elpi-ocaml-dev_1.14.0-4_amd64.deb 12-Jun-2022 17:24 1694788
libcoq-elpi-ocaml-dev_1.14.0-5_amd64.deb 12-Jun-2022 23:24 1694738
libcoq-elpi-ocaml-dev_1.14.0-5build1_amd64.deb 21-Jul-2022 16:13 1700784
libcoq-elpi-ocaml_1.11.2-1_amd64.deb 17-Dec-2021 23:39 4698058
libcoq-elpi-ocaml_1.11.2-2_amd64.deb 17-Jan-2022 18:04 4698114
libcoq-elpi-ocaml_1.12.0-1_amd64.deb 18-Jan-2022 02:43 4708138
libcoq-elpi-ocaml_1.12.1-1_amd64.deb 21-Jan-2022 23:49 4718244
libcoq-elpi-ocaml_1.12.1-1build1_amd64.deb 25-Jan-2022 18:31 4760586
libcoq-elpi-ocaml_1.12.1-2_amd64.deb 06-Feb-2022 17:39 4760346
libcoq-elpi-ocaml_1.13.0-1_amd64.deb 10-Feb-2022 23:34 4985994
libcoq-elpi-ocaml_1.13.0-7_amd64.deb 30-Apr-2022 14:40 4453970
libcoq-elpi-ocaml_1.13.0-7build1_amd64.deb 02-May-2022 07:24 4454042
libcoq-elpi-ocaml_1.14.0-1_amd64.deb 14-May-2022 23:29 8300834
libcoq-elpi-ocaml_1.14.0-2_amd64.deb 21-May-2022 23:34 8300912
libcoq-elpi-ocaml_1.14.0-2build1_amd64.deb 01-Jun-2022 16:09 8300988
libcoq-elpi-ocaml_1.14.0-3_amd64.deb 01-Jun-2022 17:34 8300870
libcoq-elpi-ocaml_1.14.0-4_amd64.deb 12-Jun-2022 17:24 8300846
libcoq-elpi-ocaml_1.14.0-5_amd64.deb 12-Jun-2022 23:24 8301362
libcoq-elpi-ocaml_1.14.0-5build1_amd64.deb 21-Jul-2022 16:13 8344932
libcoq-elpi_1.13.0-7_amd64.deb 30-Apr-2022 14:40 510628
libcoq-elpi_1.13.0-7build1_amd64.deb 02-May-2022 07:24 510188
libcoq-elpi_1.14.0-1_amd64.deb 14-May-2022 23:29 507176
libcoq-elpi_1.14.0-2_amd64.deb 21-May-2022 23:34 507236
libcoq-elpi_1.14.0-2build1_amd64.deb 01-Jun-2022 16:09 507180
libcoq-elpi_1.14.0-3_amd64.deb 01-Jun-2022 17:34 507176
libcoq-elpi_1.14.0-4_amd64.deb 12-Jun-2022 17:24 507840
libcoq-elpi_1.14.0-5_amd64.deb 12-Jun-2022 23:24 507278
libcoq-elpi_1.14.0-5build1_amd64.deb 21-Jul-2022 16:13 506840
libcoq-elpi_1.16.0-1build1_amd64.deb 27-Nov-2022 07:48 3027326
libcoq-elpi_1.16.0-1build2_amd64.deb 03-Dec-2022 20:33 3027318
libcoq-elpi_1.16.0-2_amd64.deb 27-Jan-2023 15:44 3026714
libcoq-elpi_1.16.0-2build1_amd64.deb 17-Feb-2023 01:14 3022386
libcoq-elpi_1.17.1-1_amd64.deb 13-Jun-2023 05:30 3033662
libcoq-elpi_1.17.1-1build1_amd64.deb 07-Jul-2023 22:59 3033768
libcoq-elpi_1.17.1-1build2_amd64.deb 18-Jul-2023 07:39 3033774
libcoq-elpi_1.17.1-1build3_amd64.deb 24-Jul-2023 20:24 3034022
libcoq-elpi_1.17.1-1build4_amd64.deb 26-Jul-2023 06:22 3041310
libcoq-elpi_1.17.1-1build5_amd64.deb 27-Jul-2023 11:19 3041336
libcoq-elpi_1.17.1-1build6_amd64.deb 28-Jul-2023 04:09 3041274
libcoq-elpi_1.17.1-1build7_amd64.deb 20-Aug-2023 09:49 3041764
libcoq-elpi_1.17.1-1build8_amd64.deb 28-Aug-2023 15:48 3041722
libcoq-elpi_1.19.3-2build1_amd64.deb 17-Feb-2024 08:53 3178832
libcoq-elpi_1.19.3-2build2_amd64.deb 24-Mar-2024 00:53 3178892