[Bug 246254] math/hs-Agda: agda-mode files missing

[bugzilla-noreply at freebsd.org]

https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=246254

--- Comment #2 from fractran at gmail.com ---
(In reply to Gleb Popov from comment #1)

Unfortunately yes, agda-mode needs to be fixed too.

Currently 'agda-mode locate' provides a path for the agda2.el file in the
ports' temporary work directory which is correct until cleaning.

-- 
You are receiving this mail because:
You are the assignee for the bug.