Files
nixpkgs/pkgs/development/haskell-modules
Kai Harries 0c9bbf8bc2 haskellPackages.sbv: fix tests
By patching paths of the external provers and excluding not available
provers from the test.

ZHF: #97479
(cherry picked from commit f40afea417)
2020-09-19 11:59:35 +02:00
..
2020-09-03 14:59:08 -05:00
2019-12-24 18:17:41 -05:00
2020-04-24 22:00:38 +02:00