в именах пакетов в описаниях пакетов в именах пакетов исходного кода в содержимом пакетов все параметры

[  jammy  ]

Ссылки для curry-tools

Ресурсы Ubuntu:

• Сообщения об ошибках
• Ubuntu журнал изменений
• Файл авторских прав
• Репозиторий исходного кода Debian (Git)

Сопровождающий:

• Ubuntu MOTU Developers (Почтовый архив)

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

Original Maintainers (usually from Debian):

• Debian Curry Maintainers (Почтовый архив)
• Mike Gabriel
• Michael Hanus

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

Внешние ресурсы:

• Сайт [git.ps.informatik.uni-kiel.de]

Из этого пакета исходного кода собираются следующие двоичные пакеты:

curry-tools-source

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

Другие пакеты, относящиеся к curry-tools

для сборки

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

Файл	Размер (в Кб)	Контрольная сумма MD5
curry-tools_3.3.0-2.dsc	2,0 Кб	8d8087b1d4cec24df6cf8933c4078f9f
curry-tools_3.3.0.orig.tar.gz	582,3 Кб	c4bf9d26e5ea833bc9b7bd4127f2bab8
curry-tools_3.3.0-2.debian.tar.xz	3,9 Кб	bc2e8d9e4dbce421a96469de399b279d

Репозиторий пакетов исходного кода Debian (VCS: Git)

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

Репозиторий пакетов исходного кода Debian (доступен просмотр)

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