.buildkite/Replace ghc 8.8.3 with 8.8.4 (#766)6 years ago builder/Stop using deprecated lib.nixpkgsVersion (#876)6 years ago compiler/Add initial unboxed tuple patch for ghc 8.10 (#825)6 years ago docs/Improve binary caching documentation, make more salient (#875)6 years ago lib/Be more liberal about where the index-state comes from (#872)6 years ago materialized/Add materialized files for ghc 8.8.4 (#869)6 years ago mk-local-hackage-repo/Spelling, typo and whitespace fixes (#833)6 years ago modules/Add support for coverage (#762)6 years ago nix-tools/Spelling, typo and whitespace fixes (#833)6 years ago nix/Fix ghc 8.10 windows cross (boot with 8.6.5) (#865)6 years ago overlays/Include hls 0.5.1 in cache (#881)6 years ago patches/Fix singletons patch (#409)7 years ago scripts/Spelling, typo and whitespace fixes (#833)6 years ago test/Fix ghc 8.10 windows cross (boot with 8.6.5) (#865)6 years ago .gitattributesUpdate ghc 8.4.4 based tools to ghc 8.6.5 (#618)6 years ago .gitignorebump nix tools (#476)7 years ago COPYINGLicense Apache 2.08 years ago README.mdImprove binary caching documentation, make more salient (#875)6 years ago bors.tomlAdd bors.toml to enable bors7 years ago build.nixInclude hls 0.5.1 in cache (#881)6 years ago changelog.mdAdd support for coverage (#762)6 years ago ci-lib.nixRemove internal deps on default ghc and stackage (#738)6 years ago ci.nixFix ghc 8.10 windows cross (boot with 8.6.5) (#865)6 years ago config.nixdrop the prebuilt rocksdb (#775)6 years ago default.nixRemove internal deps on default ghc and stackage (#738)6 years ago dimension.nixTidy ci.nix using dimension (#500)7 years ago flake.nixFix #824 (#824) (#832)6 years ago hackage-src.jsonUpdate Hackage and Stackage6 years ago mkdocs.ymlAdd support for coverage (#762)6 years ago package-set.nixSpelling, typo and whitespace fixes (#833)6 years ago release.nixSpelling, typo and whitespace fixes (#833)6 years ago shell.nixRemove internal deps on default ghc and stackage (#738)6 years ago snapshots.nixNative aarch64 support (#620)6 years ago stackage-src.jsonUpdate Hackage and Stackage6 years ago