mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-27 16:11:58 +00:00
Code Issues Wiki Activity
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
lib.nix