mirror of
https://github.com/ilyakooo0/nixpkgs.git
synced 2024-09-24 14:18:13 +03:00
haskell-equational-reasoning: jailbreak to support recent versions of 'void'
This commit is contained in:
parent
8e2b61c5d3
commit
809dd0790f
@ -7,6 +7,7 @@ cabal.mkDerivation (self: {
|
||||
version = "0.2.0.4";
|
||||
sha256 = "1f94y6h7qg7rck7rxf6j8sygkh1xmfk0z1lr71inx6s74agjyc9j";
|
||||
buildDepends = [ singletons tagged void ];
|
||||
jailbreak = true;
|
||||
meta = {
|
||||
description = "Proof assistant for Haskell using DataKinds & PolyKinds";
|
||||
license = self.stdenv.lib.licenses.bsd3;
|
||||
|
Loading…
Reference in New Issue
Block a user