Index of /slackbuilds/14.2/development/menhir

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