[<<][nixos][>>][..]
Sat Nov 11 10:58:33 EST 2017

agda

tom@nixos:~/bin$ nix-env -f "<nixpkgs>" -iA haskellPackages.Agda




[Reply][About]
[<<][nixos][>>][..]