coq: make version 8.9 the default one

2019-08-21 12:07:38 +00:00
parent 19055cb3ec
commit 609d408970
2 changed files with 2 additions and 1 deletions
@@ -27,6 +27,7 @@ stdenv.mkDerivation rec {

  patchPhase = ''
    substituteInPlace ./configure \
+      --replace '|8.9.0' '|8.9.0|8.9.1' \
      --replace '{toolprefix}gcc' '{toolprefix}cc'
  '';