» Ubuntu » Pakketten » xenial (16.04LTS) » misc » agda-mode
xenial  ] [  bionic  ] [  cosmic  ] [  disco  ] [  eoan  ]
[ Bron: agda  ]

Pakket: agda-mode (2.4.2.5-1build1) [universe]

Verwijzigingen voor agda-mode

Screenshot

Ubuntu bronnen:

Het bronpakket agda downloaden:

Beheerder:

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

  • Debian Haskell Group (Mailarchief)
  • Iain Lane
  • Kiwamu Okabe

It should generally not be necessary for users to contact the original maintainer.

Externe bronnen:

Vergelijkbare pakketten:

dependently typed functional programming language — emacs mode

Andere aan agda-mode gerelateerde pakketten

  • depends
  • recommends
  • suggests
  • enhances

agda-mode downloaden

Pakket downloaden voor alle beschikbare platforms
Platform Pakketgrootte Geïnstalleerde grootte Bestanden
all 36,4 kB221,0 kB [overzicht]