Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2021-08-03 | agdaPackages: Build reverse dependencies on test | Manuel Bärenz | 1 | -0/+5 |
2021-01-24 | agdaPackages.mkDerivation: don't install Everything module | Alexander Ben Nasrallah | 1 | -0/+10 |
index : mirror/nixpkgs | ||
Nix packages collection |
about summary refs log tree commit diff |
Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2021-08-03 | agdaPackages: Build reverse dependencies on test | Manuel Bärenz | 1 | -0/+5 |
2021-01-24 | agdaPackages.mkDerivation: don't install Everything module | Alexander Ben Nasrallah | 1 | -0/+10 |