Hi,
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
distribution:
https://packages.debian.org/sid/pakcs
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,
Michael
_______________________________________________
curry mailing list
curry_at_lists.rwth-aachen.de
https://mailman.rwth-aachen.de/mailman/listinfo/curry
Received on Mo Mai 15 2017 - 18:46:13 CEST