ibbem 1642654453 agda: Remove the --local-interfaces flag ...

Upstream now provides a library file for the builtin library and ensured
that the existing interface files will be used regardless of whether
--local-interfaces is in effect. Hence, Agda will not try to write to
the Nix store anymore except if the build flags are changed.

2024-03-18 23:10:27 +01:00

1014 B

Raw Blame History

View Raw