| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2001-03-20 | Oops, uncomment LICENSE. | wiz | 1 | -2/+2 |
| 2001-03-20 | Initial import of maude, a system for equational and rewriting logic | wiz | 5 | -0/+81 |
 |
index : pkgsrc | |
| [no description] | Dyson |
| summaryrefslogtreecommitdiff |