| Package | Local Description (use.local.desc) | Metadata Description (metadata.xml) |
|---|---|---|
| sci-mathematics/agda | - | Install data files under $XDG_DATA_HOME\/agda\/$AGDA_VERSION by default instead of the installation location defined by Cabal. This should not be enabled in declarative build environments like Nix or Guix. |