Paketnamen Beschreibungen Quellcodepaketnamen Paket-Inhalte Alle Optionen

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

[ Quellcode: agda-stdlib  ]

Links für agda-stdlib-doc

Ubuntu-Ressourcen:

• Fehlerberichte
• Ubuntu-Changelog
• Copyright-Datei

Quellcode-Paket agda-stdlib herunterladen:

• [agda-stdlib_1.7.3-1.dsc]
• [agda-stdlib_1.7.3.orig.tar.gz]
• [agda-stdlib_1.7.3-1.debian.tar.xz]

Betreuer:

• Ubuntu MOTU Developers (E-Mail-Archiv)

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

Original Maintainers (usually from Debian):

• Iain Lane
• Debian Haskell Group (E-Mail-Archiv)

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

Externe Ressourcen:

• Homepage [wiki.portal.chalmers.se]

Ähnliche Pakete:

• 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

Andere Pakete mit Bezug zu agda-stdlib-doc

hängt ab von

empfiehlt

schlägt vor

enhances

• sug: agda-stdlib

  standard library for Agda

agda-stdlib-doc herunterladen

Download für alle verfügbaren Architekturen

Architektur	Paketgröße	Größe (installiert)	Dateien
all	2.911,2 kB	42.726,0 kB	[Liste der Dateien]