public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
Files
2f98255be8fe7b7b60e966fd71246a083f81b6aa
nixpkgs/pkgs/development/compilers/Agda-executable
T
History