diff options
| author | Manuel Bärenz <programming@manuelbaerenz.de> | 2021-02-05 14:24:54 +0100 |
|---|---|---|
| committer | Manuel Bärenz <programming@manuelbaerenz.de> | 2021-08-03 13:33:59 +0200 |
| commit | 8c0be16075ff3508c54f14221be6df43561916fa (patch) | |
| tree | 8b4e61ac03d1fc90dbde045140fd48d26937d9b6 /pkgs/build-support/agda | |
| parent | c84b60b2a93b44268d4cdb440457832b729641c9 (diff) | |
| download | nixpkgs-8c0be16075ff3508c54f14221be6df43561916fa.tar nixpkgs-8c0be16075ff3508c54f14221be6df43561916fa.tar.gz nixpkgs-8c0be16075ff3508c54f14221be6df43561916fa.tar.bz2 nixpkgs-8c0be16075ff3508c54f14221be6df43561916fa.tar.lz nixpkgs-8c0be16075ff3508c54f14221be6df43561916fa.tar.xz nixpkgs-8c0be16075ff3508c54f14221be6df43561916fa.tar.zst nixpkgs-8c0be16075ff3508c54f14221be6df43561916fa.zip | |
adga: Add test for all packages
Diffstat (limited to 'pkgs/build-support/agda')
0 files changed, 0 insertions, 0 deletions