kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
18414 commits 166 branches 0 tags 1.5 GiB
Commit graph

1 commit

Author SHA1 Message Date
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