public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
Files
f4e8f18c19caa25912db85ab1732bfd7e788e1ee
nixpkgs/pkgs/development/compilers/agda
T
History