<div dir="ltr"><div>Since the Agda maintenance executables names are suffixed by the version<br>(e.g. agda-2.4.0.3 and agda-mode-2.4.0.3), is there some Emacs<br>configuration advice for using the different executables names?<br>
<br></div>Thanks,<br><div>-- <br><div dir="ltr">Andrés<br></div>
</div></div>