mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-09-11 15:08:33 +01:00
d466b40bb3
Fixes the package for new Agda version |
||
---|---|---|
.. | ||
contextfile | ||
default.nix |
d466b40bb3
Fixes the package for new Agda version |
||
---|---|---|
.. | ||
contextfile | ||
default.nix |