» Ubuntu » Pakete » jammy (22.04LTS) » Quellcode » misc » curry-libs
[  jammy  ]

Quellcode-Paket: curry-libs (3.0.0-2) [universe]

Links für curry-libs

Ubuntu-Ressourcen:

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]
Die folgenden Binärpakete werden aus diesem Quellcode-Paket gebaut:
curry-libs-source
Standard libraries of the Curry distributions PAKCS and KiCS2 (source files)

Andere Pakete mit Bezug zu curry-libs

  • build-depends
  • build-depends-indep
  • adep: cdbs
    common build system for Debian packages
  • adep: debhelper (>= 10~)
    helper programs for debian/rules
  • adep: tar (>= 1.28)
    GNU version of the tar archiving utility

Download curry-libs

DateiGröße (in kB)MD5-Prüfsumme
curry-libs_3.0.0-2.dsc 2,0 kB 22e04e3a90f20bdb3ad5668927e0e253
curry-libs_3.0.0.orig.tar.gz 72,2 kB b568361afb8b0e867ae345a395538193
curry-libs_3.0.0-2.debian.tar.xz 3,5 kB 5b0980d813bf78ab5dbff2422f35ef2f
Quellcode-Depot des Debian-Pakets (VCS: Git)
https://salsa.debian.org/pkg-curry-team/curry-libs.git
Quellcode-Depot des Debian-Pakets (browsable)
https://salsa.debian.org/pkg-curry-team/curry-libs