nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-02-05 19:53:43 +00:00
Code Issues Packages Projects Releases Wiki Activity
5c1e77bdf9
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