diff options
author | Dennis Gosnell <cdep.illabout@gmail.com> | 2022-12-19 08:35:48 +0900 |
---|---|---|
committer | Dennis Gosnell <cdep.illabout@gmail.com> | 2022-12-19 08:35:48 +0900 |
commit | 5d40eaa66fec25b00acb333215a1d2991bc0f0da (patch) | |
tree | 9f4923cf701d0651c2cf8857f5d3c0963ea96f33 /pkgs/applications/science/logic/cvc5/default.nix | |
parent | 8897b523311d0eabf8e6ae360b3247b65911456f (diff) |
haskell.packages.ghc943.implicit-hie: remove unneeded Cabal-syntax override
Diffstat (limited to 'pkgs/applications/science/logic/cvc5/default.nix')
0 files changed, 0 insertions, 0 deletions