nixpkgs/pkgs/development/compilers/mercury
2020-03-05 11:41:40 +00:00
..
default.nix mercury: 14.01.1 -> 20.01.1 2020-03-05 11:41:40 +00:00