diff options
| author | kristerw <kristerw@pkgsrc.org> | 2003-12-31 01:20:35 +0000 |
|---|---|---|
| committer | kristerw <kristerw@pkgsrc.org> | 2003-12-31 01:20:35 +0000 |
| commit | a0e65e649614f89aa55617023143b5afa9a6156b (patch) | |
| tree | ec506f65f4c0ac58827364670a05a126f410ee2c /lang/maude/PLIST | |
| parent | 35c8abbdb40e11d573e1f2df76e49f7fbf684071 (diff) | |
| download | pkgsrc-a0e65e649614f89aa55617023143b5afa9a6156b.tar.gz | |
Update lang/maude to version 2.0.1.
Maude 2 extends and generalizes Maude 1 to allow more expressive
modules and a wider range of computational commands.
The license has been changed to the GNU General Public License.
Diffstat (limited to 'lang/maude/PLIST')
| -rw-r--r-- | lang/maude/PLIST | 33 |
1 files changed, 5 insertions, 28 deletions
diff --git a/lang/maude/PLIST b/lang/maude/PLIST index 2b1207a1974..08fa6396bfa 100644 --- a/lang/maude/PLIST +++ b/lang/maude/PLIST @@ -1,29 +1,6 @@ -@comment $NetBSD: PLIST,v 1.1 2001/11/01 00:24:05 zuntum Exp $ +@comment $NetBSD: PLIST,v 1.2 2003/12/31 01:20:35 kristerw 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 +share/maude/fm.maude +share/maude/model-checker.maude +share/maude/prelude.maude +@dirrm share/maude |