kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
pkgsrc/lang/maude/pkg
History
wiz f88e4c531b Initial import of maude, a system for equational and rewriting logic 
specification/programming.
Package provided by Paolo Torelli in pkg/11280.
Attention: Very restrictive license, to be filled out and returned in
hardcopy before usage.
2001-03-20 11:57:41 +00:00
..
DESCR Initial import of maude, a system for equational and rewriting logic 2001-03-20 11:57:41 +00:00
MESSAGE Initial import of maude, a system for equational and rewriting logic 2001-03-20 11:57:41 +00:00
PLIST Initial import of maude, a system for equational and rewriting logic 2001-03-20 11:57:41 +00:00