lang/maude/PLIST


1
2
3
4
5
6

@comment $NetBSD: PLIST,v 1.2 2003/12/31 01:20:35 kristerw Exp $
bin/maude
share/maude/fm.maude
share/maude/model-checker.maude
share/maude/prelude.maude
@dirrm share/maude