Index of /slackbuilds/14.2/development/maude

	Name	Last modified	Size	Description
	Parent Directory		-
	slack-desc	2018-06-14 14:00	842
	maude.info	2018-06-14 14:00	456
	maude.SlackBuild	2018-06-14 14:00	3.4K
	doinst.sh	2018-06-14 14:00	382