.. |
patches
|
|
|
configuration-common.nix
|
add override for html-entities
|
2017-08-08 14:29:33 -07:00 |
configuration-ghc-6.12.x.nix
|
haskell infra: Misc cleanups
|
2017-08-03 13:12:01 +02:00 |
configuration-ghc-7.0.x.nix
|
haskell infra: Misc cleanups
|
2017-08-03 13:12:01 +02:00 |
configuration-ghc-7.2.x.nix
|
haskell infra: Misc cleanups
|
2017-08-03 13:12:01 +02:00 |
configuration-ghc-7.4.x.nix
|
haskell infra: Misc cleanups
|
2017-08-03 13:12:01 +02:00 |
configuration-ghc-7.6.x.nix
|
haskell infra: Misc cleanups
|
2017-08-03 13:12:01 +02:00 |
configuration-ghc-7.8.x.nix
|
haskell infra: Misc cleanups
|
2017-08-03 13:12:01 +02:00 |
configuration-ghc-7.10.x.nix
|
cabal-install: fix build after updating to version 2.x
|
2017-08-08 10:09:56 +02:00 |
configuration-ghc-8.0.x.nix
|
cabal-install: fix build after updating to version 2.x
|
2017-08-08 10:09:56 +02:00 |
configuration-ghc-8.2.x.nix
|
haskell infra: Misc cleanups
|
2017-08-03 13:12:01 +02:00 |
configuration-ghc-head.nix
|
haskell infra: Misc cleanups
|
2017-08-03 13:12:01 +02:00 |
configuration-ghcjs.nix
|
haskell infra: Misc cleanups
|
2017-08-03 13:12:01 +02:00 |
configuration-hackage2nix.yaml
|
hackage2nix: update list of broken packages
|
2017-08-08 10:09:44 +02:00 |
configuration-halvm-2.4.0.nix
|
haskell infra: Misc cleanups
|
2017-08-03 13:12:01 +02:00 |
configuration-nix.nix
|
Merge pull request #27615 from NickHu/cuda
|
2017-08-07 16:13:49 +02:00 |
default.nix
|
haskell infra: Misc cleanups
|
2017-08-03 13:12:01 +02:00 |
generic-builder.nix
|
replace "Mac OS X" and "OS X" with "macOS"
|
2017-08-07 21:41:30 +02:00 |
generic-stack-builder.nix
|
|
|
hackage-packages.nix
|
Merge pull request #27881 from mimadrid/fix/http-https
|
2017-08-13 21:53:20 +02:00 |
hoogle-local-wrapper.sh
|
|
|
hoogle.nix
|
|
|
lib.nix
|
haskell infra: Misc cleanups
|
2017-08-03 13:12:01 +02:00 |
make-package-set.nix
|
haskell infra: Misc cleanups
|
2017-08-03 13:12:01 +02:00 |
with-packages-wrapper.nix
|
replace "Mac OS X" and "OS X" with "macOS"
|
2017-08-07 21:41:30 +02:00 |