Revision 3652bbe6695114b8ee29fb3e42c591468e64099e

Language
View JSON

Package: emacs-agda2-mode @ 2.6.4

Synopsis

Emacs mode for Agda

Description

This Emacs mode enables interactive development with Agda. It also aids the input of Unicode characters.

Home page
https://agda.readthedocs.io/en/latest/tools/emacs-mode.html
Location
gnu/packages/agda.scm (line: 145, column: 2)
Licenses

Derivations

SystemTargetDerivationBuild status
x86_64-linux/gnu/store/jf780hfs5kzs04jxjqr9ndkl1gjjrd5f-emacs-agda2-mode-2.6.4.drv
riscv64-linux/gnu/store/6z8k20yhjs1lrakq543jd0kdkic360nw-emacs-agda2-mode-2.6.4.drv
powerpc-linux/gnu/store/xclxs922yqa4n8p0fikbsc5n9dkd546r-emacs-agda2-mode-2.6.4.drv
    powerpc64le-linux/gnu/store/90mv931ggp98v6854vfgf3rh0rannzp2-emacs-agda2-mode-2.6.4.drv
    mips64el-linux/gnu/store/sf02z3yrd3mhw2a8skrk6b1dvdgp9rcn-emacs-agda2-mode-2.6.4.drv
      i686-linux/gnu/store/3y22za01bpsjypc0skq85nfvg62y5g37-emacs-agda2-mode-2.6.4.drv
      i586-gnu/gnu/store/9cbczbcb9sc7cb8n56njm9bds1b0wwh3-emacs-agda2-mode-2.6.4.drv
      armhf-linux/gnu/store/nkpmhs8w0mk4va9kh915vf4jp8pnw666-emacs-agda2-mode-2.6.4.drv
      aarch64-linux/gnu/store/zs74411dnfl69lwhjzzsrj53caawwaij-emacs-agda2-mode-2.6.4.drv

      Lint warnings

      LinterMessageLocation
      patch-file-names

      Validate file names and availability of patches

      		file names of patches should start with the package name