Problem with package `agda`

[Cla Mattia Galliard]

Package: agda
Version: 2.6.4.3-1

Dear Package Maintainers

I have found two problems with the Package.
1. The data directory is missing the `latex` files. The data dir is
`/usr/share/libghc-agda-dev` printed using `agda --print-agda-data-dir`.
But when looking there, there is no `./latex`. This causes the command
`agda --latex FILE` to error with:
```
/usr/share/libghc-agda-dev/latex/agda.sty:
copyFile:atomicCopyFileContents:withReplacementFile:copyFileToHandle:openFdAt:
does not exist (No such file or directory)
```
2. The standard library is installed `agda-stdlib`, but it can not be found
by agda for some reason.

I am using Linux BOX 6.12.27-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.12.27-1
(2025-05-06) x86_64 GNU/Linux

This is my first time reporting a bug. Le me know, if I need to improve
something formally.

Thanks
Cla
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://alioth-lists.debian.net/pipermail/pkg-haskell-maintainers/attachments/20250619/2f4c88e0/attachment.htm>