nixpkgs/pkgs/shells/murex
2022-10-06 21:01:04 +00:00
..
default.nix murex: 2.11.2030 -> 2.11.2200 2022-10-06 21:01:04 +00:00