Index of /debian/pool/main/c/coq-elpi

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]coq-elpi_1.13.0-7.debian.tar.xz2022-04-17 21:58 3.0K 
[   ]coq-elpi_1.13.0-7.dsc2022-04-17 21:58 2.1K 
[   ]coq-elpi_1.13.0.orig.tar.gz2022-02-11 04:24 352K 
[   ]coq-elpi_1.14.0-1.debian.tar.xz2022-05-14 23:53 3.1K 
[   ]coq-elpi_1.14.0-1.dsc2022-05-14 23:53 2.1K 
[   ]coq-elpi_1.14.0.orig.tar.gz2022-05-14 23:53 352K 
[   ]libcoq-elpi-ocaml-dev_1.13.0-7_amd64.deb2022-04-17 22:28 1.2M 
[   ]libcoq-elpi-ocaml-dev_1.13.0-7_arm64.deb2022-04-17 22:28 1.2M 
[   ]libcoq-elpi-ocaml-dev_1.13.0-7_armhf.deb2022-04-17 22:28 1.3M 
[   ]libcoq-elpi-ocaml-dev_1.13.0-7_i386.deb2022-04-17 22:18 1.2M 
[   ]libcoq-elpi-ocaml-dev_1.13.0-7_ppc64el.deb2022-04-17 22:28 1.3M 
[   ]libcoq-elpi-ocaml-dev_1.14.0-1_amd64.deb2022-05-15 02:25 1.2M 
[   ]libcoq-elpi-ocaml-dev_1.14.0-1_arm64.deb2022-05-15 02:40 1.2M 
[   ]libcoq-elpi-ocaml-dev_1.14.0-1_armhf.deb2022-05-15 03:57 1.3M 
[   ]libcoq-elpi-ocaml-dev_1.14.0-1_i386.deb2022-05-15 02:20 1.2M 
[   ]libcoq-elpi-ocaml-dev_1.14.0-1_ppc64el.deb2022-05-15 02:40 1.3M 
[   ]libcoq-elpi-ocaml_1.13.0-7_amd64.deb2022-04-17 22:28 3.4M 
[   ]libcoq-elpi-ocaml_1.13.0-7_arm64.deb2022-04-17 22:28 3.5M 
[   ]libcoq-elpi-ocaml_1.13.0-7_armhf.deb2022-04-17 22:28 3.4M 
[   ]libcoq-elpi-ocaml_1.13.0-7_i386.deb2022-04-17 22:18 3.3M 
[   ]libcoq-elpi-ocaml_1.13.0-7_ppc64el.deb2022-04-17 22:28 3.4M 
[   ]libcoq-elpi-ocaml_1.14.0-1_amd64.deb2022-05-15 02:25 6.1M 
[   ]libcoq-elpi-ocaml_1.14.0-1_arm64.deb2022-05-15 02:40 6.2M 
[   ]libcoq-elpi-ocaml_1.14.0-1_armhf.deb2022-05-15 03:57 6.1M 
[   ]libcoq-elpi-ocaml_1.14.0-1_i386.deb2022-05-15 02:20 6.0M 
[   ]libcoq-elpi-ocaml_1.14.0-1_ppc64el.deb2022-05-15 02:40 6.2M 
[   ]libcoq-elpi_1.13.0-7_amd64.deb2022-04-17 22:28 446K 
[   ]libcoq-elpi_1.13.0-7_arm64.deb2022-04-17 22:28 447K 
[   ]libcoq-elpi_1.13.0-7_armhf.deb2022-04-17 22:28 445K 
[   ]libcoq-elpi_1.13.0-7_i386.deb2022-04-17 22:18 446K 
[   ]libcoq-elpi_1.13.0-7_ppc64el.deb2022-04-17 22:28 446K 
[   ]libcoq-elpi_1.14.0-1_amd64.deb2022-05-15 02:25 444K 
[   ]libcoq-elpi_1.14.0-1_arm64.deb2022-05-15 02:40 445K 
[   ]libcoq-elpi_1.14.0-1_armhf.deb2022-05-15 03:57 445K 
[   ]libcoq-elpi_1.14.0-1_i386.deb2022-05-15 02:20 444K 
[   ]libcoq-elpi_1.14.0-1_ppc64el.deb2022-05-15 02:40 445K 

Apache/2.4.38 (Debian) Server at ftp.wa.au.debian.org Port 80