cryptol: switch default build to GHC 8.x
This commit is contained in:
parent
f649d4eefa
commit
4a1ab71f4b
@ -4443,7 +4443,7 @@ in
|
|||||||
coq = coq_8_5;
|
coq = coq_8_5;
|
||||||
});
|
});
|
||||||
|
|
||||||
cryptol = self.haskell.packages.lts.cryptol;
|
cryptol = haskellPackages.cryptol;
|
||||||
|
|
||||||
devpi-client = callPackage ../development/tools/devpi-client {};
|
devpi-client = callPackage ../development/tools/devpi-client {};
|
||||||
|
|
||||||
|
Loading…
x
Reference in New Issue
Block a user