Index of /ubuntu-old-releases/ubuntu/pool/universe/c/coq-elpi/
../
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
libcoq-elpi-ocaml-dev_1.14.0-5build1_amd64.deb 21-Jul-2022 16:13 1700784
libcoq-elpi-ocaml-dev_1.14.0-5build1_arm64.deb 21-Jul-2022 16:34 1807140
libcoq-elpi-ocaml-dev_1.14.0-5build1_armhf.deb 21-Jul-2022 16:34 1797326
libcoq-elpi-ocaml-dev_1.14.0-5build1_ppc64el.deb 21-Jul-2022 16:13 1771268
libcoq-elpi-ocaml-dev_1.14.0-5build1_riscv64.deb 21-Jul-2022 17:24 1979192
libcoq-elpi-ocaml_1.14.0-5build1_amd64.deb 21-Jul-2022 16:13 8344932
libcoq-elpi-ocaml_1.14.0-5build1_arm64.deb 21-Jul-2022 16:34 8568446
libcoq-elpi-ocaml_1.14.0-5build1_armhf.deb 21-Jul-2022 16:34 8392510
libcoq-elpi-ocaml_1.14.0-5build1_ppc64el.deb 21-Jul-2022 16:13 8446850
libcoq-elpi-ocaml_1.14.0-5build1_riscv64.deb 21-Jul-2022 17:24 8382976
libcoq-elpi_1.14.0-5build1_amd64.deb 21-Jul-2022 16:13 506840
libcoq-elpi_1.14.0-5build1_arm64.deb 21-Jul-2022 16:34 506850
libcoq-elpi_1.14.0-5build1_armhf.deb 21-Jul-2022 16:34 506312
libcoq-elpi_1.14.0-5build1_ppc64el.deb 21-Jul-2022 16:13 507446
libcoq-elpi_1.14.0-5build1_riscv64.deb 21-Jul-2022 17:24 506854