mirror of
https://github.com/ilyakooo0/nixpkgs.git
synced 2024-09-22 21:18:28 +03:00
Agda no longer depends on haskeline 0.6.x.
This commit is contained in:
parent
bce624c25c
commit
2c8fe797ef
@ -429,7 +429,6 @@ let result = let callPackage = x : y : modifyPrio (newScope result.final x y);
|
||||
|
||||
Agda = callPackage ../development/libraries/haskell/Agda {
|
||||
haskellSrcExts = self.haskellSrcExts_1_11_1;
|
||||
haskeline = self.haskeline_0_6_4_7;
|
||||
};
|
||||
|
||||
accelerate = callPackage ../development/libraries/haskell/accelerate {};
|
||||
|
Loading…
Reference in New Issue
Block a user