movefasta/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-06-16 14:39:23 +03:00
Code Issues Projects Releases Packages Wiki Activity

haskellPackages.copilot-theorem: fix build

Browse source
This commit is contained in:
Wolfgang Walther 2025-04-13 22:09:36 +02:00
parent 10b8bc163b
commit aa65b426e7
No known key found for this signature in database
GPG key ID: B39893FA5F65CAE1
1 changed files with 4 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

4
pkgs/development/haskell-modules/configuration-common.nix
View file

@ -3001,6 +3001,10 @@ self: super:
dontCheck dontCheck
]; ];
copilot-theorem = lib.pipe super.copilot-theorem [
(addTestToolDepends (with pkgs; [ z3 ]))
];
# 2025-04-09: jailbreak to allow mtl >= 2.3, template-haskell >= 2.17, text >= 1.3 # 2025-04-09: jailbreak to allow mtl >= 2.3, template-haskell >= 2.17, text >= 1.3
egison-pattern-src-th-mode = egison-pattern-src-th-mode =
assert super.egison-pattern-src-th-mode.version == "0.2.1.2"; assert super.egison-pattern-src-th-mode.version == "0.2.1.2";