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
_______________________________________________ Pkg-haskell-maintainers mailing list [email protected] https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/pkg-haskell-maintainers
