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

	Name	Last modified	Size	Description
	Parent Directory		-
	4.03.0+32bit.descr	04-Jul-2018 13:42	69
	4.03.0+32bit.comp	04-Jul-2018 13:42	713