nixpkgs/pkgs/development/haskell-modules
sternenseemann f926804016 haskellPackages.sbv: provide new solvers for version 8.17
* Newly added are bitwuzla and cvc5 (unpackaged at the moment)

* Refactor sed expression disabling solves we don't provide in the test
  suite.

* Stop conditionally disabling z3 solver on aarch64, seems there is no
  reason for it anymore.
2022-03-27 01:00:34 +01:00
..
configuration-hackage2nix haskellPackages: mark more packages as broken or unsupported 2022-03-24 03:05:27 +01:00
lib haskell.lib: move lib.nix into same directory as compose.nix 2022-01-22 21:38:03 +01:00
patches haskellPackages.knob: remove patch after 0.2 2022-03-26 11:25:42 +01:00
cabal2nix-unstable.nix
configuration-arm.nix haskell-language-server: Disable flaky tests for some plugins 2022-02-06 19:14:21 +01:00
configuration-common.nix Merge pull request #165823 from ncfavier/haskell-fetchpatch-relative 2022-03-27 00:55:36 +01:00
configuration-darwin.nix haskellPackages.cryptonite: Disable Argon2 on aarch64-darwin 2022-03-08 12:01:23 +01:00
configuration-ghc-8.6.x.nix haskellPackages.policeman: drop 2022-03-21 22:55:51 +01:00
configuration-ghc-8.8.x.nix haskellPackages.cabal-install-parsers: provide Cabal 3.6 2022-03-26 22:39:42 +01:00
configuration-ghc-8.10.x.nix haskellPackages.cabal-install-parsers: provide Cabal 3.6 2022-03-26 22:39:42 +01:00
configuration-ghc-9.0.x.nix haskellPackages: move knob patch to configuration-common 2022-03-22 15:58:52 +01:00
configuration-ghc-9.2.x.nix Merge pull request #165823 from ncfavier/haskell-fetchpatch-relative 2022-03-27 00:55:36 +01:00
configuration-ghc-head.nix
configuration-ghcjs.nix
configuration-nix.nix haskellPackages.sbv: provide new solvers for version 8.17 2022-03-27 01:00:34 +01:00
configuration-tensorflow.nix
default.nix
generic-builder.nix haskellPackages.mkDerivation: check haddock availability 2022-03-17 19:43:04 +01:00
generic-stack-builder.nix
hackage-packages.nix all-cabal-hashes: 2022-03-22T14:25:11Z -> 2022-03-26T03:24:04Z 2022-03-26 09:54:41 +01:00
HACKING.md
hoogle-local-wrapper.sh
hoogle.nix haskellPackages.hoogleLocal: build database locally 2022-03-22 22:36:59 +01:00
initial-packages.nix
make-package-set.nix haskellPackages.shellFor: Add extraDependencies 2022-03-15 20:38:22 +01:00
non-hackage-packages.nix nix-output-monitor: 1.1.2.0 -> 1.1.2.1 + Refactor 2022-03-16 15:04:52 +01:00
package-list.nix haskell.package-list: only include versions that conform to PVP 2022-03-20 11:43:37 +01:00
stack-hook.sh
with-packages-wrapper.nix haskellPackages.ghcWithPackages: throw on old override interface 2022-02-08 13:28:30 +01:00