Index of /pub/debian/pool/main/o/ocp-indent
Name
Last modified
Size
Description
Parent Directory
-
libocp-indent-ocaml-dev_1.7.0-1_amd64.deb
2018-12-16 16:19
480K
libocp-indent-ocaml-dev_1.7.0-1_i386.deb
2018-12-17 14:14
479K
libocp-indent-ocaml-dev_1.8.2-1+b1_amd64.deb
2020-10-13 19:27
550K
libocp-indent-ocaml-dev_1.8.2-1+b1_i386.deb
2020-10-13 19:27
549K
libocp-indent-ocaml-dev_1.8.2-2+b2_amd64.deb
2023-02-12 18:11
555K
libocp-indent-ocaml-dev_1.8.2-2+b2_i386.deb
2023-02-12 18:22
553K
libocp-indent-ocaml-dev_1.8.2-5+b1_amd64.deb
2023-09-20 21:26
557K
libocp-indent-ocaml-dev_1.8.2-5+b1_i386.deb
2023-09-20 21:15
555K
libocp-indent-ocaml-dev_1.8.2-5+b2_riscv64.deb
2024-02-22 11:40
605K
libocp-indent-ocaml_1.7.0-1_amd64.deb
2018-12-16 16:19
230K
libocp-indent-ocaml_1.7.0-1_i386.deb
2018-12-17 14:14
223K
libocp-indent-ocaml_1.8.2-1+b1_amd64.deb
2020-10-13 19:27
267K
libocp-indent-ocaml_1.8.2-1+b1_i386.deb
2020-10-13 19:27
263K
libocp-indent-ocaml_1.8.2-2+b2_amd64.deb
2023-02-12 18:11
270K
libocp-indent-ocaml_1.8.2-2+b2_i386.deb
2023-02-12 18:22
264K
libocp-indent-ocaml_1.8.2-5+b1_amd64.deb
2023-09-20 21:26
270K
libocp-indent-ocaml_1.8.2-5+b1_i386.deb
2023-09-20 21:15
264K
libocp-indent-ocaml_1.8.2-5+b2_riscv64.deb
2024-02-22 11:40
275K
ocp-indent_1.7.0-1_amd64.deb
2018-12-16 16:19
473K
ocp-indent_1.7.0-1_i386.deb
2018-12-17 14:14
443K
ocp-indent_1.8.2-1+b1_amd64.deb
2020-10-13 19:27
897K
ocp-indent_1.8.2-1+b1_i386.deb
2020-10-13 19:27
860K
ocp-indent_1.8.2-2+b2_amd64.deb
2023-02-12 18:11
954K
ocp-indent_1.8.2-2+b2_i386.deb
2023-02-12 18:22
904K
ocp-indent_1.8.2-5+b1_amd64.deb
2023-09-20 21:26
1.0M
ocp-indent_1.8.2-5+b1_i386.deb
2023-09-20 21:15
941K
ocp-indent_1.8.2-5+b2_riscv64.deb
2024-02-22 11:40
1.0M
Apache/2.4.57 (Debian) Server at pcleon.if.ufrgs.br Port 80