Merge remote-tracking branch 'origin/master' into gcc-8

2019-09-03 22:15:07 +02:00
parent d512362e77 1f49035aca
commit de85797565
5995 changed files with 34112 additions and 20763 deletions
@@ -1,7 +1,7 @@
 { stdenv, fetchurl, autoreconfHook, sqlite }:

 stdenv.mkDerivation rec {
-  name = "mps-${version}";
+  pname = "mps";
  version = "1.117.0";

  src = fetchurl {