about summary refs log tree commit diff
path: root/pkgs/build-support/agda/lib.nix
AgeCommit message (Expand)AuthorFilesLines
2021-08-03agdaPackages: Build reverse dependencies on testManuel Bärenz1-0/+5
2021-01-24agdaPackages.mkDerivation: don't install Everything moduleAlexander Ben Nasrallah1-0/+10