Index of /teams/marelle/coq-18/jscoq/etc/opam/4.06.0+32bit

	Name	Last modified	Size	Description
	Parent Directory		-
	4.06.0+32bit.comp	26-Jul-2018 10:13	715
	4.06.0+32bit.descr	26-Jul-2018 10:13	69