Index of /raspbian/pool/main/c/coq-elpi/
../
coq-elpi_1.11.2-1.debian.tar.xz 03-Dec-2021 08:19 3932
coq-elpi_1.11.2-1.dsc 03-Dec-2021 08:19 2078
coq-elpi_1.11.2.orig.tar.gz 03-Dec-2021 08:19 351528
coq-elpi_1.12.1-1.debian.tar.xz 21-Jan-2022 15:15 4000
coq-elpi_1.12.1-1.dsc 21-Jan-2022 15:15 2088
coq-elpi_1.12.1-2.debian.tar.xz 10-Feb-2022 17:24 4040
coq-elpi_1.12.1-2.dsc 10-Feb-2022 17:24 2088
coq-elpi_1.12.1.orig.tar.gz 21-Jan-2022 15:15 353244
coq-elpi_1.13.0-1.debian.tar.xz 10-Feb-2022 17:24 2584
coq-elpi_1.13.0-1.dsc 10-Feb-2022 17:24 2088
coq-elpi_1.13.0-7.debian.tar.xz 17-Apr-2022 11:58 3052
coq-elpi_1.13.0-7.dsc 17-Apr-2022 11:58 2142
coq-elpi_1.13.0.orig.tar.gz 10-Feb-2022 17:24 360052
coq-elpi_1.14.0-5.debian.tar.xz 12-Jun-2022 18:23 3208
coq-elpi_1.14.0-5.dsc 12-Jun-2022 18:23 2165
coq-elpi_1.14.0.orig.tar.gz 14-May-2022 13:53 360407
coq-elpi_1.15.6-1.debian.tar.xz 11-Sep-2022 16:11 3232
coq-elpi_1.15.6-1.dsc 11-Sep-2022 16:11 2025
coq-elpi_1.15.6-4.debian.tar.xz 13-Nov-2022 20:55 3328
coq-elpi_1.15.6-4.dsc 13-Nov-2022 20:55 2025
coq-elpi_1.15.6.orig.tar.gz 11-Sep-2022 16:11 404950
coq-elpi_1.16.0-1.debian.tar.xz 20-Nov-2022 15:35 3372
coq-elpi_1.16.0-1.dsc 20-Nov-2022 15:35 2025
coq-elpi_1.16.0-2.debian.tar.xz 25-Jan-2023 06:56 3412
coq-elpi_1.16.0-2.dsc 25-Jan-2023 06:56 2030
coq-elpi_1.16.0.orig.tar.gz 20-Nov-2022 15:35 426223
coq-elpi_1.17.1-1.debian.tar.xz 12-Jun-2023 20:28 3544
coq-elpi_1.17.1-1.dsc 12-Jun-2023 20:28 2030
coq-elpi_1.17.1.orig.tar.gz 12-Jun-2023 20:28 430263
coq-elpi_1.19.3-2.debian.tar.xz 03-Jan-2024 08:01 3644
coq-elpi_1.19.3-2.dsc 03-Jan-2024 08:01 1799
coq-elpi_1.19.3.orig.tar.gz 22-Dec-2023 10:16 571678
libcoq-elpi-ocaml-dev_1.12.1-1+b1_armhf.deb 06-Feb-2022 13:52 1212796
libcoq-elpi-ocaml-dev_1.12.1-1_armhf.deb 03-Feb-2022 18:12 1207164
libcoq-elpi-ocaml-dev_1.12.1-2_armhf.deb 10-Feb-2022 17:53 1212656
libcoq-elpi-ocaml-dev_1.13.0-1_armhf.deb 16-Feb-2022 04:08 1307108
libcoq-elpi-ocaml-dev_1.13.0-7+b1_armhf.deb 23-Apr-2022 18:18 1306640
libcoq-elpi-ocaml-dev_1.13.0-7_armhf.deb 22-Apr-2022 10:08 1306368
libcoq-elpi-ocaml-dev_1.14.0-5+b1_armhf.deb 09-Aug-2022 17:11 1366344
libcoq-elpi-ocaml-dev_1.14.0-5_armhf.deb 10-Jul-2022 10:08 1315196
libcoq-elpi-ocaml_1.12.1-1+b1_armhf.deb 06-Feb-2022 13:52 3811680
libcoq-elpi-ocaml_1.12.1-1_armhf.deb 03-Feb-2022 18:12 3817868
libcoq-elpi-ocaml_1.12.1-2_armhf.deb 10-Feb-2022 17:53 3812104
libcoq-elpi-ocaml_1.13.0-1_armhf.deb 16-Feb-2022 04:08 3955844
libcoq-elpi-ocaml_1.13.0-7+b1_armhf.deb 23-Apr-2022 18:18 3516848
libcoq-elpi-ocaml_1.13.0-7_armhf.deb 22-Apr-2022 10:08 3516572
libcoq-elpi-ocaml_1.14.0-5+b1_armhf.deb 09-Aug-2022 17:11 6428444
libcoq-elpi-ocaml_1.14.0-5_armhf.deb 10-Jul-2022 10:08 6394252
libcoq-elpi_1.13.0-7+b1_armhf.deb 23-Apr-2022 18:18 456508
libcoq-elpi_1.13.0-7_armhf.deb 22-Apr-2022 10:08 456108
libcoq-elpi_1.14.0-5+b1_armhf.deb 09-Aug-2022 17:11 454644
libcoq-elpi_1.14.0-5_armhf.deb 10-Jul-2022 10:08 455584
libcoq-elpi_1.15.6-1_armhf.deb 17-Sep-2022 16:08 2277164
libcoq-elpi_1.15.6-4_armhf.deb 19-Nov-2022 08:54 2277616
libcoq-elpi_1.19.3-2+b1_armhf.deb 29-Feb-2024 10:08 2541772
libcoq-elpi_1.19.3-2_armhf.deb 23-Jan-2024 22:08 2542600