alle opties
jessie  ] [  stretch  ] [  buster  ] [  sid  ]
[ Bron: agda  ]

Pakket: agda-mode (2.5.4.1-3)

Verwijzigingen voor agda-mode

Screenshot

Debian bronnen:

Het bronpakket agda downloaden:

Beheerder:

Externe bronnen:

Vergelijkbare pakketten:

transitional dummy package for elpa-agda2-mode

agda-mode has been ELPAfied. See the elpa-agda2-mode package. This transitional package is safe to remove.

Pakketten die agda-mode bieden:

elpa-agda2-mode
dependently typed functional programming language — emacs mode

agda-mode downloaden

Pakket downloaden voor alle beschikbare platforms
Platform Pakketgrootte Geïnstalleerde grootte Bestanden
all 114,9 kB122,0 kB [overzicht]