<div dir="ltr"><div><div><div><div>Package: agda<br>Version: 2.6.4.3-1<br><br></div>Dear Package Maintainers<br><br></div>I have found two problems with the Package.<br></div>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:<br>```<br>/usr/share/libghc-agda-dev/latex/agda.sty:<br>copyFile:atomicCopyFileContents:withReplacementFile:copyFileToHandle:openFdAt:<br>does not exist (No such file or directory)<br>```<br></div>2. The standard library is installed `agda-stdlib`, but it can not be found by agda for some reason.<br><div><div><div><div><div><br></div><div>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<br><br></div><div>This is my first time reporting a bug. Le me know, if I need to improve something formally.<br><br></div><div>Thanks<br></div><div>Cla<br></div></div></div></div></div></div>