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/distinfo | |
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/distinfo')
-rw-r--r-- | lang/maude/distinfo | 11 |
1 files changed, 4 insertions, 7 deletions
diff --git a/lang/maude/distinfo b/lang/maude/distinfo index a4d0767d4ba..45bc0c05b56 100644 --- a/lang/maude/distinfo +++ b/lang/maude/distinfo @@ -1,8 +1,5 @@ -$NetBSD: distinfo,v 1.4 2005/02/24 09:03:09 agc Exp $ +$NetBSD: distinfo,v 1.5 2005/10/14 19:54:39 tonio Exp $ -SHA1 (maude-src.tar.gz) = 5682993dcb62bba1cd06e8bc21bf908e42dd3ecd -RMD160 (maude-src.tar.gz) = 1c622d07b048c6435a2609fa2ef4e795c01385b3 -Size (maude-src.tar.gz) = 1030863 bytes -SHA1 (fm.maude) = db8f8d064956a1e8525b368353c3cae9270360d5 -RMD160 (fm.maude) = 1ca2ca8edf6a6f09ce71334c4a8afe5ada572914 -Size (fm.maude) = 511212 bytes +SHA1 (Maude-2.1.1.tar.gz) = 6433ab534970c65bfdde3ea67d1067ad1c7bd9e3 +RMD160 (Maude-2.1.1.tar.gz) = 22793ee2c339a86e44e49dee56943c8b1099ee0b +Size (Maude-2.1.1.tar.gz) = 1174764 bytes |