Index of /pool/main/o/ocp-indent

	Name	Last modified	Size
	Parent Directory		-
	libocp-indent-lib-ocaml-dev_1.5.3-1_armhf.deb	2016-10-18 18:08	133K
	libocp-indent-lib-ocaml_1.5.3-1_armhf.deb	2016-10-18 18:08	95K
	libocp-indent-ocaml-dev_1.7.0-1_armhf.deb	2019-01-18 17:08	486K
	libocp-indent-ocaml-dev_1.8.2-1+b1_armhf.deb	2020-11-09 02:23	553K
	libocp-indent-ocaml-dev_1.8.2-2+b2_armhf.deb	2023-05-20 18:08	557K
	libocp-indent-ocaml_1.7.0-1_armhf.deb	2019-01-18 17:08	228K
	libocp-indent-ocaml_1.8.2-1+b1_armhf.deb	2020-11-09 02:23	265K
	libocp-indent-ocaml_1.8.2-2+b2_armhf.deb	2023-05-20 18:08	267K
	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-1_armhf.deb	2016-10-18 18:08	320K
	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_armhf.deb	2019-01-18 17:08	419K
	ocp-indent_1.7.0.orig.tar.gz	2018-12-16 19:19	124K
	ocp-indent_1.8.2-1+b1_armhf.deb	2020-11-09 02:23	814K
	ocp-indent_1.8.2-1.debian.tar.xz	2020-08-18 10:06	16K
	ocp-indent_1.8.2-1.dsc	2020-08-18 10:06	1.9K
	ocp-indent_1.8.2-2+b2_armhf.deb	2023-05-20 18:08	855K
	ocp-indent_1.8.2-2.debian.tar.xz	2022-10-15 07:50	16K
	ocp-indent_1.8.2-2.dsc	2022-10-15 07:50	2.1K
	ocp-indent_1.8.2.orig.tar.gz	2020-08-18 10:06	107K