@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