nixpkgs/pkgs/development/compilers/mercury
2023-09-24 09:50:14 +00:00
..
default.nix mercury: 22.01.7 -> 22.01.8 2023-09-24 09:50:14 +00:00