MyNixOS website logo
package-set

emacsPackages

Showing entries 1-100 out of 6119.
The extensible, customizable GNU text editor
Standalone package providing the agda-input method without building Agda
Agda2-mode for Emacs extracted from Agda package