<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>