Index of /slackbuilds.org/14.2/development/menhir

	Name	Last modified	Size	Description
	Parent Directory		-
	doinst.sh	02-Jul-2016 09:48	129
	menhir.SlackBuild	14-Jun-2018 23:00	3.3K
	menhir.info	14-Jun-2018 23:00	341
	slack-desc	02-Jul-2016 09:48	804