mirror of
https://github.com/NixOS/nixpkgs.git
synced 2025-01-18 19:03:28 +00:00
60c80fd312
Fixes the package for new Agda version |
||
---|---|---|
.. | ||
contextfile | ||
default.nix |
60c80fd312
Fixes the package for new Agda version |
||
---|---|---|
.. | ||
contextfile | ||
default.nix |