Hi Ondrej I got the same error after installing lhs2tex 1.15 (though I'm on Ubuntu). The problem seemed to be that the files in "/usr/local/share/lhs2tex-1.15/" (which includes Agda.fmt) were only readable by the user. Setting them to be readable by all solved it for me. Neil