Versions Packages Information History Related Badges Report

Versions for emacs:agda-mode

3 package(s) known

Repository Package name Version Category Maintainer(s)
nixpkgs stable 21.11 emacs-agda-mode 2.6.2 emacs27Packages fallback-mnt-nix@repology
nixpkgs stable 22.05 emacs-agda-mode 2.6.2.2 emacs28Packages fallback-mnt-nix@repology
nixpkgs unstable emacs-agda-mode 2.6.2.2 emacs28Packages fallback-mnt-nix@repology