diff options
| author | zuntum <zuntum@pkgsrc.org> | 2001-11-01 00:20:13 +0000 |
|---|---|---|
| committer | zuntum <zuntum@pkgsrc.org> | 2001-11-01 00:20:13 +0000 |
| commit | a437fd43cc3ece125446142af9ed27ef8c1e6621 (patch) | |
| tree | 0862d71c7e976f8aa56175851882e33495f691e4 /lang/maude/PLIST | |
| parent | d16ce86994df76c0a92af71f19eef6cc2507fe39 (diff) | |
| download | pkgsrc-a437fd43cc3ece125446142af9ed27ef8c1e6621.tar.gz | |
Move pkg/ files into package's toplevel directory
Diffstat (limited to 'lang/maude/PLIST')
| -rw-r--r-- | lang/maude/PLIST | 29 |
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 |