Dawoox/nixpkgs
1
1
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity
Files
1db5cd42534146fcdb2d5bc952b36800029c679b
nixpkgs/pkgs/development/libraries/agda
History