Index of /debian-ports/pool-x32/main/p/ppx-globalize

	Name	Last modified	Size
	Parent Directory		-
	libppx-globalize-ocaml-dev_0.16.0-5+b4_x32.deb	2024-02-16 12:03	221K
	libppx-globalize-ocaml_0.16.0-5+b4_x32.deb	2024-02-16 12:03	164K
	ppx-globalize_0.16.0-5+b4_x32.buildinfo	2024-02-16 12:03	7.0K