This website requires JavaScript.
Explore
Help
Sign In
b12f
/
nixpkgs
Watch
1
Star
0
Fork
You've already forked nixpkgs
0
Code
Issues
Pull requests
Packages
Projects
Releases
Wiki
Activity
b0854238b0
nixpkgs
/
pkgs
/
build-support
/
agda
History
Anderson Torres
8bf1bc692c
Merge pull request
#110512
from neosimsim/agda-dont-install-Everything
...
Agda don't install Everything module
2021-02-03 15:56:34 -03:00
..
default.nix
Merge pull request
#110512
from neosimsim/agda-dont-install-Everything
2021-02-03 15:56:34 -03:00
lib.nix
agdaPackages.mkDerivation: don't install Everything module
2021-01-24 17:30:01 +01:00