nixpkgs/pkgs/development/interpreters/maude
2014-06-04 16:56:32 +02:00
..
default.nix maude: update full-maude to version 2.6.1h 2014-06-04 16:56:32 +02:00