Versions Packages Information History Related Badges Report

Information for emacs:agda-mode

Versions

  • 2.6.2.2
  • 2.6.2

Package names

  • emacs-agda-mode

Repositories

Categories

  • emacs27Packages
  • emacs28Packages

Licenses

  • unknown