nixpkgs-suyu/pkgs/development/libraries/haskell/Agda
2012-11-12 12:48:26 +01:00
..
default.nix haskell-Agda: update to version 2.3.2 2012-11-12 12:48:26 +01:00