kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
pkgsrc/lang/maude
History
tonio ef23d02256 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
2005-10-14 19:54:39 +00:00
..
DESCR
distinfo Update lang/maude to 2.1.1 2005-10-14 19:54:39 +00:00
Makefile Update lang/maude to 2.1.1 2005-10-14 19:54:39 +00:00
MESSAGE Update lang/maude to version 2.0.1. 2003-12-31 01:20:35 +00:00
PLIST Update lang/maude to 2.1.1 2005-10-14 19:54:39 +00:00