Package: maude / 2.6-2

Metadata

Package Version Patches format
maude 2.6-2 3.0 (quilt)

Patch series

view the series file
Patch File delta Description
search datadir.patch | (download)

src/Main/main.cc | 5 5 + 0 - 0 !
src/Mixfix/global.cc | 3 3 + 0 - 0 !
src/Mixfix/global.hh | 1 1 + 0 - 0 !
3 files changed, 9 insertions(+)

---