[<<][nixos][>>][..]
Sat Nov 11 11:11:40 EST 2017

nixpkgs

Agda needs nixpkgs.  What is that?
EDIT: collection of packages outside of the main release.




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