summaryrefslogtreecommitdiff
path: root/lang/maude/PLIST
diff options
context:
space:
mode:
Diffstat (limited to 'lang/maude/PLIST')
-rw-r--r--lang/maude/PLIST29
1 files changed, 29 insertions, 0 deletions
diff --git a/lang/maude/PLIST b/lang/maude/PLIST
new file mode 100644
index 00000000000..2b1207a1974
--- /dev/null
+++ b/lang/maude/PLIST
@@ -0,0 +1,29 @@
+@comment $NetBSD: PLIST,v 1.1 2001/11/01 00:24:05 zuntum Exp $
+bin/maude
+bin/prelude.maude
+bin/full-maude.maude
+share/examples/maude/accnt.fm
+share/examples/maude/binary.maude
+share/examples/maude/duplicate-ten.maude
+share/examples/maude/duplicate.maude
+share/examples/maude/interoperability.fm
+share/examples/maude/max.fm
+share/examples/maude/meta-interpreter.maude
+share/examples/maude/meta-meta-nat.fm
+share/examples/maude/mini-maude.fm
+share/examples/maude/mini-maude.maude
+share/examples/maude/nd-int.maude
+share/examples/maude/nim-strategy.maude
+share/examples/maude/number-hierarchy.maude
+share/examples/maude/numbers.maude
+share/examples/maude/path.fm
+share/examples/maude/path.maude
+share/examples/maude/petri-net.maude
+share/examples/maude/set-hierarchy.maude
+share/examples/maude/sieve.maude
+share/examples/maude/sorting-strategy.maude
+share/examples/maude/sorting.maude
+share/examples/maude/stack.fm
+share/examples/maude/stack2.fm
+share/examples/maude/strategy.maude
+@dirrm share/examples/maude