summaryrefslogtreecommitdiff
path: root/lang/maude/PLIST
blob: c8a1f42ab77af735ff4fa2927c68f441f75669ff (plain)
1
2
3
4
5
@comment $NetBSD: PLIST,v 1.3 2005/10/14 19:54:39 tonio Exp $
bin/maude
share/maude/model-checker.maude
share/maude/prelude.maude
@dirrm share/maude