Naïm Favier 9965571f37 Merge pull request #279188 from ncfavier/agda-debug ... agda: enable debug printing		2024-01-31 12:22:27 +01:00
..
configuration-hackage2nix
lib
patches
cabal2nix-unstable.nix
configuration-arm.nix
configuration-common.nix
configuration-darwin.nix
configuration-ghc-8.6.x.nix
configuration-ghc-8.10.x.nix
configuration-ghc-9.0.x.nix
configuration-ghc-9.2.x.nix
configuration-ghc-9.4.x.nix
configuration-ghc-9.6.x.nix
configuration-ghc-9.8.x.nix
configuration-ghc-9.10.x.nix
configuration-ghcjs.nix
configuration-nix.nix	Merge pull request #279188 from ncfavier/agda-debug	2024-01-31 12:22:27 +01:00
configuration-tensorflow.nix
default.nix
generic-builder.nix
generic-stack-builder.nix
hackage-packages.nix
HACKING.md
hoogle-local-wrapper.sh
hoogle.nix
initial-packages.nix
make-package-set.nix
non-hackage-packages.nix
package-list.nix
stack-hook.sh
with-packages-wrapper.nix