w nazwach pakietów w opisach w nazwach pakietów źródłowych w zawartości pakietów wszystkie opcje

[  precise  ] [  quantal  ] [  raring  ]

[ Pakiet źródłowy: agda  ]

Odnośniki dla agda

Zasoby systemu Ubuntu:

• Raporty o błędach
• Dziennik zmian w systemie Ubuntu
• Informacje nt. praw autorskich

Pobieranie pakietu źródłowego agda:

• [agda_2.3.0.1-2build1.dsc]
• [agda_2.3.0.1.orig.tar.gz]
• [agda_2.3.0.1-2build1.debian.tar.gz]

Opiekun:

• Ubuntu MOTU Developers (Archiwum e-mail)

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

Original Maintainers (usually from Debian):

• Debian Haskell Group (Archiwum e-mail)
• Iain Lane

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

Zasoby zewnętrzne:

• Strona internetowa [wiki.portal.chalmers.se]

Podobne pakiety:

• libghc6-agda-dev
• agda-mode
• libghc-agda-dev
• libghc-agda-doc
• libghc6-agda-prof
• agda-stdlib
• agda-stdlib-doc
• agda-bin
• kaya
• helium
• xchat-guile

Inne pakiety związane z agda

wymaga

poleca

sugeruje

• dep: agda-bin

  commandline interface to Agda

• dep: agda-mode

  dependently typed functional programming language — emacs mode

• dep: agda-stdlib

  standard library for Agda

• dep: agda-stdlib-doc

  standard library for Agda — documentation

• dep: libghc-agda-dev

  dependently typed functional programming language - development libraries

Pobieranie agda

Pobierz dla wszystkich dostępnych architektur

Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
all	2,9 KiB	38,0 KiB	[lista plików]