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

[  jammy  ]

Odnośniki dla curry-tools

Zasoby systemu Ubuntu:

• Raporty o błędach
• Dziennik zmian w systemie Ubuntu
• Informacje nt. praw autorskich
• Repozytorium kodu źródłowego Debiana (Git)

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 Curry Maintainers (Archiwum e-mail)
• Mike Gabriel
• Michael Hanus

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

Zasoby zewnętrzne:

• Strona internetowa [git.ps.informatik.uni-kiel.de]

Z tego pakietu źródłowego zbudowano następujące pakiety binarne:

curry-tools-source

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

Inne pakiety związane z curry-tools

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-tools

Plik	Rozmiar (w KiB)	Suma kontrolna MD5
curry-tools_3.3.0-2.dsc	2,0 KiB	8d8087b1d4cec24df6cf8933c4078f9f
curry-tools_3.3.0.orig.tar.gz	582,3 KiB	c4bf9d26e5ea833bc9b7bd4127f2bab8
curry-tools_3.3.0-2.debian.tar.xz	3,9 KiB	bc2e8d9e4dbce421a96469de399b279d

Repozytorium kodu źródłowego Debiana (VCS: Git)

https://salsa.debian.org/pkg-curry-team/curry-tools.git

Repozytorium kodu źródłowego Debiana (do przeglądania)

https://salsa.debian.org/pkg-curry-team/curry-tools