diff options
| author | tonio <tonio@pkgsrc.org> | 2005-10-14 19:54:39 +0000 |
|---|---|---|
| committer | tonio <tonio@pkgsrc.org> | 2005-10-14 19:54:39 +0000 |
| commit | c31d98543f002ac825dc6dcbd162f27537df3133 (patch) | |
| tree | 8decb8535b882dbc7cd5692b628ca8397fe19b0c /lang/maude/PLIST | |
| parent | 1945f895a394153730d14316c778c15a91f11d6a (diff) | |
| download | pkgsrc-c31d98543f002ac825dc6dcbd162f27537df3133.tar.gz | |
Update lang/maude to 2.1.1
Let the package use the TOOLS facilities for flex and bison
Changes in this version includes a few bugfixes, support for syntax for
theories, and parser improvement
Update fixes PR 31753
Diffstat (limited to 'lang/maude/PLIST')
| -rw-r--r-- | lang/maude/PLIST | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/lang/maude/PLIST b/lang/maude/PLIST index 08fa6396bfa..c8a1f42ab77 100644 --- a/lang/maude/PLIST +++ b/lang/maude/PLIST @@ -1,6 +1,5 @@ -@comment $NetBSD: PLIST,v 1.2 2003/12/31 01:20:35 kristerw Exp $ +@comment $NetBSD: PLIST,v 1.3 2005/10/14 19:54:39 tonio Exp $ bin/maude -share/maude/fm.maude share/maude/model-checker.maude share/maude/prelude.maude @dirrm share/maude |