nixpkgs/pkgs/development/libraries/mps
Piotr Bogdan fc391e7ecd mps: 1.115.0 -> 1.116.0
1.115.0 doesn't build with gcc6
2017-09-04 20:14:57 +03:00
..
default.nix mps: 1.115.0 -> 1.116.0 2017-09-04 20:14:57 +03:00