In my packages agda for Ubuntu 19.04 (i.e. agda, agda-mode, agda-bin), there is no file agda.sty. But where is the official agda.sty file ? Sincerely yours -- courriel : michel.levy.imag at free.fr mobile : 06 59 13 42 53 web : michel.levy.imag.free.fr