nixpkgs/pkgs/development/compilers/mercury
Paul e1c4c96c28 mercury: 20.06 -> 20.06.1 2020-11-05 10:39:51 +09:30
..
default.nix mercury: 20.06 -> 20.06.1 2020-11-05 10:39:51 +09:30