emacs:agda-mode packages - Repology

Versions Packages Information History Related Badges Report

3 package(s) known

nixpkgs stable 21.11

emacs-agda-mode

2.6.2

Summary:
Agda2-mode for Emacs extracted from Agda package
Maintainer:
- fallback-mnt-nix@repology
Category:
- emacs27Packages
License:
- unknown
Links(s):
- Upstream homepage⁴⁶
- Package recipe⁴⁶

nixpkgs stable 22.05

emacs-agda-mode

2.6.2.2

Summary:
Agda2-mode for Emacs extracted from Agda package
Maintainer:
- fallback-mnt-nix@repology
Category:
- emacs28Packages
License:
- unknown
Links(s):
- Upstream homepage⁴⁶
- Package recipe⁴⁶

nixpkgs unstable

emacs-agda-mode

2.6.2.2

Summary:
Agda2-mode for Emacs extracted from Agda package
Maintainer:
- fallback-mnt-nix@repology
Category:
- emacs28Packages
License:
- unknown
Links(s):
- Upstream homepage⁴⁶
- Package recipe⁴⁶