nixpkgs/pkgs/development/compilers/mercury
2015-01-07 12:56:59 +01:00
..
default.nix mercury: Update to 14.01.1 2015-01-07 12:56:59 +01:00