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.2.0-1
Release: focal (20.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 Focal

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

Changelog

There is no recent update for this package.



About   -   Send Feedback to @ubuntu_updates