diff options
| author | Alex Rice <alexrice999@hotmail.co.uk> | 2020-05-17 11:16:34 +0100 |
|---|---|---|
| committer | Alex Rice <alexrice999@hotmail.co.uk> | 2020-05-17 11:16:34 +0100 |
| commit | 80922cac348e2358d770da4042e897d4f9a95a65 (patch) | |
| tree | 3d01fb1814192e336feeeba6564451c9d593e447 /pkgs/development/tools/agda-pkg | |
| parent | 1ccc512b39a439fc9fc24945ffb9b94284dd70bd (diff) | |
| download | nixpkgs-80922cac348e2358d770da4042e897d4f9a95a65.tar nixpkgs-80922cac348e2358d770da4042e897d4f9a95a65.tar.gz nixpkgs-80922cac348e2358d770da4042e897d4f9a95a65.tar.bz2 nixpkgs-80922cac348e2358d770da4042e897d4f9a95a65.tar.lz nixpkgs-80922cac348e2358d770da4042e897d4f9a95a65.tar.xz nixpkgs-80922cac348e2358d770da4042e897d4f9a95a65.tar.zst nixpkgs-80922cac348e2358d770da4042e897d4f9a95a65.zip | |
ponywhoosh: init at 1.7.8
Diffstat (limited to 'pkgs/development/tools/agda-pkg')
0 files changed, 0 insertions, 0 deletions