У меня есть и Agda 2.4.2.5 и 2.5.2.2 на моем компьютере, как я удаляю 2.4? Или, по крайней мере, скажите моему компьютеру использовать 2.5?

Мне нужны agda и emacs, установленный для урока, который я посещаю в своем университете. Я установил Agda 2.4 на несчастном случае, затем установил 2.5.2.2 установки интриги использования Agda, однако команда урожаев команды установки agda-режима, не найденная.

После установки 2.5, открытие Terminal и ввод agda - версия, это приводит к Agda 2.4.2.5, но мне нужен Agda 2.5.2.2

У кого-либо есть идея о том, как я могу удалить 2.4? Или так или иначе сделайте 2,5 моих значения по умолчанию?