Index of /sites/raspbian.org/raspbian/pool/main/c/coq-elpi
Name Last modified Size Description
![[PARENTDIR]](/strapdown/icons/glyphicon-circle-arrow-up.svg)
Parent Directory -
![[ ]](/strapdown/icons/glyphicon-file.svg)
coq-elpi_1.11.2-1.debian.tar.xz 2021-12-03 09:19 3.8K
coq-elpi_1.11.2-1.dsc 2021-12-03 09:19 2.0K
![[ ]](/icons/compressed.gif)
coq-elpi_1.11.2.orig.tar.gz 2021-12-03 09:19 343K
coq-elpi_1.12.1-1.debian.tar.xz 2022-01-21 16:15 3.9K
coq-elpi_1.12.1-1.dsc 2022-01-21 16:15 2.0K
coq-elpi_1.12.1-2.debian.tar.xz 2022-02-10 18:24 3.9K
coq-elpi_1.12.1-2.dsc 2022-02-10 18:24 2.0K
coq-elpi_1.12.1.orig.tar.gz 2022-01-21 16:15 345K
coq-elpi_1.13.0-1.debian.tar.xz 2022-02-10 18:24 2.5K
coq-elpi_1.13.0-1.dsc 2022-02-10 18:24 2.0K
coq-elpi_1.13.0-7.debian.tar.xz 2022-04-17 13:58 3.0K
coq-elpi_1.13.0-7.dsc 2022-04-17 13:58 2.1K
coq-elpi_1.13.0.orig.tar.gz 2022-02-10 18:24 352K
coq-elpi_1.14.0-5.debian.tar.xz 2022-06-12 20:23 3.1K
coq-elpi_1.14.0-5.dsc 2022-06-12 20:23 2.1K
coq-elpi_1.14.0.orig.tar.gz 2022-05-14 15:53 352K
coq-elpi_1.15.6-1.debian.tar.xz 2022-09-11 18:11 3.2K
coq-elpi_1.15.6-1.dsc 2022-09-11 18:11 2.0K
coq-elpi_1.15.6-4.debian.tar.xz 2022-11-13 21:55 3.3K
coq-elpi_1.15.6-4.dsc 2022-11-13 21:55 2.0K
coq-elpi_1.15.6.orig.tar.gz 2022-09-11 18:11 395K
coq-elpi_1.16.0-1.debian.tar.xz 2022-11-20 16:35 3.3K
coq-elpi_1.16.0-1.dsc 2022-11-20 16:35 2.0K
coq-elpi_1.16.0-2.debian.tar.xz 2023-01-25 07:56 3.3K
coq-elpi_1.16.0-2.dsc 2023-01-25 07:56 2.0K
coq-elpi_1.16.0.orig.tar.gz 2022-11-20 16:35 416K
coq-elpi_1.17.1-1.debian.tar.xz 2023-06-12 22:28 3.5K
coq-elpi_1.17.1-1.dsc 2023-06-12 22:28 2.0K
coq-elpi_1.17.1.orig.tar.gz 2023-06-12 22:28 420K
coq-elpi_1.19.3-2.debian.tar.xz 2024-01-03 09:01 3.6K
coq-elpi_1.19.3-2.dsc 2024-01-03 09:01 1.8K
coq-elpi_1.19.3.orig.tar.gz 2023-12-22 11:16 558K
libcoq-elpi-ocaml-dev_1.12.1-1+b1_armhf.deb 2022-02-06 14:52 1.2M
libcoq-elpi-ocaml-dev_1.12.1-1_armhf.deb 2022-02-03 19:12 1.2M
libcoq-elpi-ocaml-dev_1.12.1-2_armhf.deb 2022-02-10 18:53 1.2M
libcoq-elpi-ocaml-dev_1.13.0-1_armhf.deb 2022-02-16 05:08 1.2M
libcoq-elpi-ocaml-dev_1.13.0-7+b1_armhf.deb 2022-04-23 20:18 1.2M
libcoq-elpi-ocaml-dev_1.13.0-7_armhf.deb 2022-04-22 12:08 1.2M
libcoq-elpi-ocaml-dev_1.14.0-5+b1_armhf.deb 2022-08-09 19:11 1.3M
libcoq-elpi-ocaml-dev_1.14.0-5_armhf.deb 2022-07-10 12:08 1.3M
libcoq-elpi-ocaml_1.12.1-1+b1_armhf.deb 2022-02-06 14:52 3.6M
libcoq-elpi-ocaml_1.12.1-1_armhf.deb 2022-02-03 19:12 3.6M
libcoq-elpi-ocaml_1.12.1-2_armhf.deb 2022-02-10 18:53 3.6M
libcoq-elpi-ocaml_1.13.0-1_armhf.deb 2022-02-16 05:08 3.8M
libcoq-elpi-ocaml_1.13.0-7+b1_armhf.deb 2022-04-23 20:18 3.4M
libcoq-elpi-ocaml_1.13.0-7_armhf.deb 2022-04-22 12:08 3.4M
libcoq-elpi-ocaml_1.14.0-5+b1_armhf.deb 2022-08-09 19:11 6.1M
libcoq-elpi-ocaml_1.14.0-5_armhf.deb 2022-07-10 12:08 6.1M
libcoq-elpi_1.13.0-7+b1_armhf.deb 2022-04-23 20:18 446K
libcoq-elpi_1.13.0-7_armhf.deb 2022-04-22 12:08 445K
libcoq-elpi_1.14.0-5+b1_armhf.deb 2022-08-09 19:11 444K
libcoq-elpi_1.14.0-5_armhf.deb 2022-07-10 12:08 445K
libcoq-elpi_1.15.6-1_armhf.deb 2022-09-17 18:08 2.2M
libcoq-elpi_1.15.6-4_armhf.deb 2022-11-19 09:54 2.2M
libcoq-elpi_1.19.3-2+b1_armhf.deb 2024-02-29 11:08 2.4M
libcoq-elpi_1.19.3-2_armhf.deb 2024-01-23 23:08 2.4M