nixpkgs/pkgs/development/compilers/agda
2014-07-12 04:43:31 -05:00
..
2.3.2.2.nix
2.4.0.1.nix
stdlib-0.7.nix
stdlib-0.8.nix haskell-agda-stdlib: properly reference ghc and runhaskell 2014-07-12 04:43:31 -05:00