Name Last modified Size Description
Parent Directory -
ocp-indent_1.8.2-1build1_amd64.deb 03-Nov-2020 16:43 897K
libocp-indent-ocaml-dev_1.8.2-1build1_amd64.deb 03-Nov-2020 16:43 547K
ocp-indent_1.8.2-1_amd64.deb 18-Aug-2020 20:52 544K
libocp-indent-ocaml-dev_1.8.2-1_amd64.deb 18-Aug-2020 20:52 529K
ocp-indent_1.7.0-2build1_amd64.deb 21-Feb-2020 10:18 515K
libocp-indent-ocaml-dev_1.7.0-2build1_amd64.deb 21-Feb-2020 10:18 506K
ocp-indent_1.5.3-2build1_amd64.deb 28-Oct-2017 13:19 420K
ocp-indent_1.5.3-2build1_i386.deb 28-Oct-2017 13:19 394K
ocp-indent_1.5.2-2_amd64.deb 31-Jan-2016 19:24 330K
ocp-indent_1.5.2-2_i386.deb 31-Jan-2016 19:25 317K
libocp-indent-ocaml_1.8.2-1build1_amd64.deb 03-Nov-2020 16:43 263K
libocp-indent-ocaml_1.8.2-1_amd64.deb 18-Aug-2020 20:52 239K
libocp-indent-ocaml_1.7.0-2build1_amd64.deb 21-Feb-2020 10:18 229K
ocp-indent_1.5.3.orig.tar.gz 02-Nov-2016 05:43 141K
ocp-indent_1.5.2.orig.tar.gz 31-Jan-2016 19:24 139K
libocp-indent-lib-ocaml-dev_1.5.3-2build1_amd..> 28-Oct-2017 13:19 132K
libocp-indent-lib-ocaml-dev_1.5.3-2build1_i38..> 28-Oct-2017 13:19 132K
libocp-indent-lib-ocaml-dev_1.5.2-2_i386.deb 31-Jan-2016 19:25 128K
libocp-indent-lib-ocaml-dev_1.5.2-2_amd64.deb 31-Jan-2016 19:24 128K
ocp-indent_1.7.0.orig.tar.gz 18-Dec-2018 01:13 124K
ocp-indent_1.8.2.orig.tar.gz 18-Aug-2020 20:13 107K
libocp-indent-lib-ocaml_1.5.3-2build1_amd64.deb 28-Oct-2017 13:19 100K
libocp-indent-lib-ocaml_1.5.3-2build1_i386.deb 28-Oct-2017 13:19 96K
libocp-indent-lib-ocaml_1.5.2-2_amd64.deb 31-Jan-2016 19:24 94K
libocp-indent-lib-ocaml_1.5.2-2_i386.deb 31-Jan-2016 19:25 91K
ocp-indent_1.5.3-2build1.debian.tar.xz 28-Oct-2017 13:18 17K
ocp-indent_1.5.2-2.debian.tar.xz 31-Jan-2016 19:24 17K
ocp-indent_1.7.0-2build1.debian.tar.xz 21-Feb-2020 09:53 16K
ocp-indent_1.8.2-1build1.debian.tar.xz 03-Nov-2020 16:33 16K
ocp-indent_1.8.2-1.debian.tar.xz 18-Aug-2020 20:13 16K
ocp-indent_1.7.0-2build1.dsc 21-Feb-2020 09:53 2.3K
ocp-indent_1.8.2-1build1.dsc 03-Nov-2020 16:33 2.2K
ocp-indent_1.5.3-2build1.dsc 28-Oct-2017 13:18 2.2K
ocp-indent_1.5.2-2.dsc 31-Jan-2016 19:24 2.2K
ocp-indent_1.8.2-1.dsc 18-Aug-2020 20:13 1.9K
Apache/2.2 Server at ftp.ntua.gr Port 80