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

[  jammy  ] [  noble  ] [  questing  ] [  resolute  ] [  stonking  ]

[ Pakiet źródłowy: agda-stdlib  ]

Odnośniki dla agda-stdlib-doc

Zasoby systemu Ubuntu:

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

Pobieranie pakietu źródłowego agda-stdlib:

• [agda-stdlib_2.3-1.dsc]
• [agda-stdlib_2.3.orig.tar.gz]
• [agda-stdlib_2.3-1.debian.tar.xz]

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)
• Ilias Tsitsimpis

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

Zasoby zewnętrzne:

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

Podobne pakiety:

• agda-bin
• libghc-rio-doc
• libodil-doc
• libghc-numeric-extras-doc
• ruby-benchmark-suite-doc
• scala-xml-doc
• python-signxml-doc
• agda
• libghc-highlighting-kate-doc
• libghc-pcre-light-doc
• haskell-platform-doc

Inne pakiety związane z agda-stdlib-doc

wymaga

poleca

sugeruje

enhances

• sug: agda-stdlib

  standard library for Agda

Pobieranie agda-stdlib-doc

Pobierz dla wszystkich dostępnych architektur

Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
all	3 723,5 KiB	55 193,0 KiB	[lista plików]