diff options
| author | Manuel Bärenz <programming@manuelbaerenz.de> | 2021-10-19 09:56:50 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-10-19 09:56:50 +0200 |
| commit | 7a135abf604b0c9da0c964ac244880a593a6ecbe (patch) | |
| tree | 3ea3fd483ae91bdeff2a1a56cb99b45959ce6d35 /pkgs/development/tools/agda-pkg | |
| parent | b270a93750e6aa4c7d53bc0bda8e0cec39905a9b (diff) | |
| parent | 8c0be16075ff3508c54f14221be6df43561916fa (diff) | |
| download | nixpkgs-7a135abf604b0c9da0c964ac244880a593a6ecbe.tar nixpkgs-7a135abf604b0c9da0c964ac244880a593a6ecbe.tar.gz nixpkgs-7a135abf604b0c9da0c964ac244880a593a6ecbe.tar.bz2 nixpkgs-7a135abf604b0c9da0c964ac244880a593a6ecbe.tar.lz nixpkgs-7a135abf604b0c9da0c964ac244880a593a6ecbe.tar.xz nixpkgs-7a135abf604b0c9da0c964ac244880a593a6ecbe.tar.zst nixpkgs-7a135abf604b0c9da0c964ac244880a593a6ecbe.zip | |
Merge pull request #98214 from turion/dev_test_all_agda_packages
Fix #98209. Test all agda packages
Diffstat (limited to 'pkgs/development/tools/agda-pkg')
0 files changed, 0 insertions, 0 deletions