mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-12-11 08:13:04 +00:00
04124990ff
https://github.com/SRI-CSL/Maude/releases/tag/Maude3.3 Also bumps Full Maude to 3.2.1, the latest available release at this time. |
||
---|---|---|
.. | ||
default.nix |