nixpkgs/pkgs/development/libraries/haskell/Agda
2013-02-09 18:17:32 +01:00
..
default.nix haskell-Agda: jailbreak to support the latest version of 'hashtables' 2013-02-09 18:17:32 +01:00