Commit Graph

1 Commits

Author SHA1 Message Date
c625468d24 Add local package for Maude
The "official" package for Maude is broken on darwin. This one downloads and
installs the binary. Not as nice as building from source, but much easier...
2022-11-20 13:17:46 +01:00