mirror of
https://github.com/SebastianWendel/nixpkgs.git
synced 2024-10-18 03:33:18 +02:00
d466b40bb3
Fixes the package for new Agda version |
||
---|---|---|
.. | ||
contextfile | ||
default.nix |