| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | maude-2.5.0-prll.patch | 627 | logplain |
| -rw-r--r-- | maude-2.6-gcc47.patch | 897 | logplain |
| -rw-r--r-- | maude-2.6-search-datadir.patch | 1124 | logplain |
| -rw-r--r-- | maude-2.7-bison-parse-param.patch | 1027 | logplain |
GitWeb