app-emacs / agda-lib-mode agda-lib-mode Major mode for Agda library files Major mode for Agda library files homepage ↗ Available in OverlayNewestEbuildsLast activity melpa GitHub ↗ 20251013.2307 1 24 h details › Versions & arches VersionOverlay amd64x86 Committed 20251013.2307 melpa ◐amd64 testing ◐x86 testing 9 mo view · download · history ↗ Runtime dependencies of 20251013.2307 show 1 lines >=app-editors/emacs-26.3:*