» Ubuntu » Пакеты » jammy (22.04LTS) » devel » curry-tools-source
jammy  ]
[ Источник: curry-tools  ]

Пакет: curry-tools-source (3.3.0-2) [universe]

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

Screenshot

Ресурсы Ubuntu:

Исходный код curry-tools:

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

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

Original Maintainers (usually from Debian):

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

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

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

Подобные пакеты:

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

Загрузка curry-tools-source

Загрузить для всех доступных архитектур
Архитектура Размер пакета В установленном виде Файлы
all 315,5 Кб323,0 Кб [список файлов]