diff options
| author | Alex Rice <alexrice999@hotmail.co.uk> | 2019-12-29 12:25:43 +0000 |
|---|---|---|
| committer | Alex Rice <alexrice999@hotmail.co.uk> | 2020-04-25 09:56:53 +0100 |
| commit | 6cbaa256fab7df0d213be5caa14a6a29c9a47ed0 (patch) | |
| tree | 6a2077499e8cba8a43b8eaece335bb936e58dcc3 /pkgs/build-support/agda | |
| parent | a519f22c03d65045996b77e89bb50c07728c85fd (diff) | |
| download | nixpkgs-6cbaa256fab7df0d213be5caa14a6a29c9a47ed0.tar nixpkgs-6cbaa256fab7df0d213be5caa14a6a29c9a47ed0.tar.gz nixpkgs-6cbaa256fab7df0d213be5caa14a6a29c9a47ed0.tar.bz2 nixpkgs-6cbaa256fab7df0d213be5caa14a6a29c9a47ed0.tar.lz nixpkgs-6cbaa256fab7df0d213be5caa14a6a29c9a47ed0.tar.xz nixpkgs-6cbaa256fab7df0d213be5caa14a6a29c9a47ed0.tar.zst nixpkgs-6cbaa256fab7df0d213be5caa14a6a29c9a47ed0.zip | |
agda-base: remove broken package
Diffstat (limited to 'pkgs/build-support/agda')
0 files changed, 0 insertions, 0 deletions