nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-15 10:12:58 +00:00
Code Issues Packages Projects Releases Wiki Activity
4ef371e1f6
nixpkgs/pkgs/development/compilers/agda
History
John Wiegley 324eb38313 haskell-agda-stdlib: properly reference ghc and runhaskell
2014-07-12 04:43:31 -05:00
..
2.3.2.2.nix Agda: add 2.4.0.1, 2.3.2.2 is still the default for now 2014-06-16 14:03:17 -07:00
2.4.0.1.nix Agda: add 2.4.0.1, 2.3.2.2 is still the default for now 2014-06-16 14:03:17 -07:00
stdlib-0.7.nix Agda: add 2.4.0.1, 2.3.2.2 is still the default for now 2014-06-16 14:03:17 -07:00
stdlib-0.8.nix haskell-agda-stdlib: properly reference ghc and runhaskell 2014-07-12 04:43:31 -05:00