PAKCS on Ubuntu and Debian

From: Michael Hanus <>
Date: Mon, 15 May 2017 18:44:42 +0200


I'd like to inform you that we created a Debian package
of our Curry system PAKCS so that interested people
can easily install it. This might be interesting for you
or, if you use Curry for teaching, also for your students.

The package is available since Ubuntu 17.04. If you run this OS,
you can install PAKCS with

> sudo apt install pakcs

The package is also available in the unstable packages
of Debian so that it might become part of a future Debian

The packaged version is almost equivalent to the current
(stable) PAKCS release 1.14.2 so that it comes with more
than a dozen tools for Curry.

More things are going on at our site, I'll keep you informed.

Best regards,

curry mailing list
Received on Mo Mai 15 2017 - 18:46:13 CEST

This archive was generated by hypermail 2.3.0 : Do Nov 30 2023 - 07:15:14 CET