nixpkgs/pkgs/shells/murex
kashw2 90ddf43816 murex: 4.4.9100 -> 4.4.9500
murex: added kashw2 maintainer
2023-08-31 11:24:23 +10:00
..
default.nix murex: 4.4.9100 -> 4.4.9500 2023-08-31 11:24:23 +10:00