UbuntuUpdates.org

Package "curry-tools-source"

Name: curry-tools-source

Description:

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

Latest version: 2.0.1-1
Release: bionic (18.04)
Level: base
Repository: universe
Head package: curry-tools
Homepage: https://git.ps.informatik.uni-kiel.de/curry/curry-tools

Links


Download "curry-tools-source"


Other versions of "curry-tools-source" in Bionic

No other version of this package is available in the Bionic release.

Changelog

There is no recent update for this package.



About   -   Send Feedback to @ubuntu_updates