mirror of
https://github.com/ilyakooo0/nixpkgs.git
synced 2024-10-03 19:17:38 +03:00
60c80fd312
Fixes the package for new Agda version |
||
---|---|---|
.. | ||
contextfile | ||
default.nix |
60c80fd312
Fixes the package for new Agda version |
||
---|---|---|
.. | ||
contextfile | ||
default.nix |