Index of /pub/linux/distributions/debian/deb.freexian.com/extended-lts/pool/main/o/ocp-indent
Name
Last modified
Size
Description
Parent Directory
-
libocp-indent-lib-ocaml-dev_1.4.2-1_amd64.deb
2014-09-15 17:16
82K
libocp-indent-lib-ocaml-dev_1.4.2-1_i386.deb
2014-09-15 18:11
81K
libocp-indent-lib-ocaml-dev_1.5.3-1+b1_amd64.deb
2017-03-17 17:40
126K
libocp-indent-lib-ocaml-dev_1.5.3-1+b1_i386.deb
2017-03-17 16:14
126K
libocp-indent-lib-ocaml_1.4.2-1_amd64.deb
2014-09-15 17:16
93K
libocp-indent-lib-ocaml_1.4.2-1_i386.deb
2014-09-15 18:11
89K
libocp-indent-lib-ocaml_1.5.3-1+b1_amd64.deb
2017-03-17 17:40
96K
libocp-indent-lib-ocaml_1.5.3-1+b1_i386.deb
2017-03-17 16:14
94K
libocp-indent-ocaml-dev_1.7.0-1_amd64.deb
2018-12-16 19:19
480K
libocp-indent-ocaml-dev_1.7.0-1_i386.deb
2018-12-17 17:14
479K
libocp-indent-ocaml_1.7.0-1_amd64.deb
2018-12-16 19:19
230K
libocp-indent-ocaml_1.7.0-1_i386.deb
2018-12-17 17:14
223K
ocp-indent_1.4.2-1.debian.tar.xz
2014-09-15 17:16
16K
ocp-indent_1.4.2-1.dsc
2014-09-15 17:16
2.2K
ocp-indent_1.4.2-1_amd64.deb
2014-09-15 17:16
301K
ocp-indent_1.4.2-1_i386.deb
2014-09-15 18:11
282K
ocp-indent_1.4.2.orig.tar.gz
2014-09-15 17:16
135K
ocp-indent_1.5.3-1+b1_amd64.deb
2017-03-17 17:40
355K
ocp-indent_1.5.3-1+b1_i386.deb
2017-03-17 16:14
344K
ocp-indent_1.5.3-1.debian.tar.xz
2016-10-12 14:09
17K
ocp-indent_1.5.3-1.dsc
2016-10-12 14:09
2.2K
ocp-indent_1.5.3.orig.tar.gz
2016-10-12 14:09
141K
ocp-indent_1.7.0-1.debian.tar.xz
2018-12-16 19:19
16K
ocp-indent_1.7.0-1.dsc
2018-12-16 19:19
2.1K
ocp-indent_1.7.0-1_amd64.deb
2018-12-16 19:19
473K
ocp-indent_1.7.0-1_i386.deb
2018-12-17 17:14
443K
ocp-indent_1.7.0.orig.tar.gz
2018-12-16 19:19
124K
Apache/2.4 Server at linux.mathematik.tu-darmstadt.de Port 443