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

2 commits

Author SHA1 Message Date
wiz
e6c2b658b4 Oops, uncomment LICENSE. 2001-03-20 12:01:25 +00:00
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