Index of /debian-ports/pool-x32/main/j/jst-config

	Name	Last modified	Size	Description
	Parent Directory		-
	jst-config_0.16.0-3_x32.buildinfo	2023-08-18 08:03	6.5K
	libjst-config-ocaml-dev_0.16.0-3_x32.deb	2023-08-18 08:03	5.1K
	libjst-config-ocaml_0.16.0-3_x32.deb	2023-08-18 08:03	3.3K