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