diff options
| author | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2014-09-11 20:18:02 +0100 |
|---|---|---|
| committer | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2014-09-11 20:35:56 +0100 |
| commit | d50c0e75b89dc37b296ff381127444fab02bd943 (patch) | |
| tree | 91ca589c52c430a6b92ce4bf0259a71120b08417 /pkgs/development/libraries/agda | |
| parent | ee31679bad09b63164c9bcd665b9d23070cd545f (diff) | |
| download | nixpkgs-d50c0e75b89dc37b296ff381127444fab02bd943.tar nixpkgs-d50c0e75b89dc37b296ff381127444fab02bd943.tar.gz nixpkgs-d50c0e75b89dc37b296ff381127444fab02bd943.tar.bz2 nixpkgs-d50c0e75b89dc37b296ff381127444fab02bd943.tar.lz nixpkgs-d50c0e75b89dc37b296ff381127444fab02bd943.tar.xz nixpkgs-d50c0e75b89dc37b296ff381127444fab02bd943.tar.zst nixpkgs-d50c0e75b89dc37b296ff381127444fab02bd943.zip | |
agda: fix license
Diffstat (limited to 'pkgs/development/libraries/agda')
0 files changed, 0 insertions, 0 deletions