nix-config/pkgs/maude-mac
larstvei 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
..
default.nix Add local package for Maude 2022-11-20 13:17:46 +01:00