curry-libs-source software package provides Standard libraries of the Curry distributions PAKCS and KiCS2 (source files), you can install in your Ubuntu 17.04 (Zesty Zapus) by running the commands given below on the terminal,
$ sudo apt-get update $ sudo apt-get install curry-libs-source
curry-libs-source is installed in your system.
Make ensure the curry-libs-source package were installed using the commands given below,
$ sudo dpkg-query -l | grep curry-libs-source *
You will get with curry-libs-source package name, version, architecture and description in a table
| Distro | Ubuntu 17 04 zesty zapus |
| Section | Development |
| Package | curry-libs-source |
| Version | 1.0.0-1 |
| Description | Standard libraries of the Curry distributions PAKCS and KiCS2 (source files) |
| Sub Section | devel |