mirror of
https://github.com/SebastianWendel/nixpkgs.git
synced 2024-09-27 15:40:18 +02:00
60c80fd312
Fixes the package for new Agda version |
||
---|---|---|
.. | ||
contextfile | ||
default.nix |