» Ubuntu » Pakete » jammy (22.04LTS) » devel » curry-tools-source
jammy  ]
[ Quellcode: curry-tools  ]

Paket: curry-tools-source (3.3.0-2) [universe]

Links für curry-tools-source

Screenshot

Ubuntu-Ressourcen:

Quellcode-Paket curry-tools herunterladen:

Betreuer:

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

Original Maintainers (usually from Debian):

  • Debian Curry Maintainers (E-Mail-Archiv)
  • Mike Gabriel
  • Michael Hanus

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

Externe Ressourcen:

  • Homepage [git.ps.informatik.uni-kiel.de]

Ähnliche Pakete:

Tools that are used by different Curry systems, like PAKCS or KiCS2

curry-tools-source herunterladen

Download für alle verfügbaren Architekturen
Architektur Paketgröße Größe (installiert) Dateien
all 315,5 kB323,0 kB [Liste der Dateien]