PAKCS/KiCS2 for Debian & Ubuntu GNU/Linux

PAKCS: The

    

Portland
Aachen
Kiel

Curry System

PAKCS Upstream

This page only provides information on how to obtain upstream provided DEB packages of PAKCS for Debian and Ubuntu GNU/Linux.

If interested in PAKCS upstream development, please visit:
https://www-ps.informatik.uni-kiel.de/~pakcs

Getting PAKCS (Version 2 with type classes) for Debian

We provide four different build branches of PAKCS: nightly snapshot builds, stable release builds, and two different legacy builds (PAKCS 1.14.x and PAKCS 1.15.x).

All packages are currently built for Debian stretch, buster and unstable. Please use the Debian codenames in the below APT URLs.

Our APT Package Archive Key

Our package server's archive key is: 0xC270DAF779376A62 (fingerprint: 1D06 ECB4 B040 4737 F38E 9C77 C270 DAF7 7937 6A62). Use this command to make APT trust our package server: 


 $ wget -qO - http://packages.ps.informatik.uni-kiel.de/curry/archive.key | sudo apt-key add -

Latest nightly Snapshots Builds

For installing latest nightly snapshots of PAKCS, please add this line to your /etc/apt/sources.list file: 

deb http://packages.ps.informatik.uni-kiel.de/curry/debian-nightly <codename> main

The nightly snapshot packages are built from the PAKCS Git master branch.

WARNING: The nightly snapshot builds are for developers only. Do this at your own risk and only, if you know what you are doing.

Then update your package information and install PAKCS by: 

  $ sudo apt-get update
  $ sudo apt-get install pakcs

Latest stable Release Builds

For installing stable release builds of PAKCS, please add this line to your /etc/apt/sources.list file: 

deb http://packages.ps.informatik.uni-kiel.de/curry/debian <codename> main

NOTE: The provisioning of the stable PAKCS 2.x release builds is currently work-in-progress...

Then update your package information and install PAKCS by: 

  $ sudo apt-get update
  $ sudo apt-get install pakcs

Gettings PAKCS (Version 2 with type classes) for Ubuntu

We provide four different build branches of PAKCS: nightly snapshot builds, stable release builds, and two different legacy builds (PAKCS 1.14.x and PAKCS 1.15.x).

All packages are currently built for Ubuntu zesty (17.04), artful (17.10) and bionic (18.04 LTS). Please use the Ubuntu codenames in the below APT URLs.

Our APT Package Archive Key

Our package server's archive key is: 0xC270DAF779376A62 (fingerprint: 1D06 ECB4 B040 4737 F38E 9C77 C270 DAF7 7937 6A62). Use this command to make APT trust our package server: 


 $ wget -qO - http://packages.ps.informatik.uni-kiel.de/curry/archive.key | sudo apt-key add -

Latest nightly Snapshots Builds

For installing latest nightly snapshots of PAKCS, please add this line to your /etc/apt/sources.list file: 

deb http://packages.ps.informatik.uni-kiel.de/curry/ubuntu-nightly <codename> main

The nightly snapshot packages are built from the PAKCS Git master branch.

WARNING: The nightly snapshot builds are for developers only. Do this at your own risk and only, if you know what you are doing.

Then update your package information and install PAKCS by: 

  $ sudo apt-get update
  $ sudo apt-get install pakcs

Latest stable Release Builds

For installing stable release builds of PAKCS, please add this line to your /etc/apt/sources.list file: 

deb http://packages.ps.informatik.uni-kiel.de/curry/ubuntu <codename> main

NOTE: The provisioning of the stable PAKCS 2.x release builds is currently work-in-progress...

Then update your package information and install PAKCS by: 

  $ sudo apt-get update
  $ sudo apt-get install pakcs

PAKCS Legacy Builds for Debian & Ubuntu

Alternatively, you can also obtain pre-2.x versions of PAKCS as DEB packages. Make sure you have added our package server's archive key before (see above). Then perform the following steps:
  1. Add one of the URLs shown below to your system file /etc/apt/sources.list, e.g., by typing 
     $ sudo gedit /etc/apt/sources.list
    and adding one of the lines shown below.
  2. Then update your package information and install PAKCS by: 
      $ sudo apt-get update
  $ sudo apt-get install pakcs

PAKCS 1.15.x

For Debian

deb http://packages.ps.informatik.uni-kiel.de/curry/debian-pakcs-1.15 <codename> main

... where <codename> is one of stretch, buster or unstable.

For Ubuntu

deb http://packages.ps.informatik.uni-kiel.de/curry/ubuntu-pakcs-1.15 <codename> main

... where <codename> is one of zesty, artful or bionic.

PAKCS 1.14.x

For Debian

deb http://packages.ps.informatik.uni-kiel.de/curry/debian-pakcs-1.14 <codename> main

... where <codename> is one of stretch, buster or unstable.

For Ubuntu

deb http://packages.ps.informatik.uni-kiel.de/curry/ubuntu-pakcs-1.14 <codename> main

... where <codename> is one of zesty, artful or bionic.

KiCS2: Compiling Curry to Haskell

KiCS2 Upstream

This page only provides information on how to obtain upstream provided DEB packages of KiCS2 for Debian and Ubuntu GNU/Linux.

If interested in KiCS2 upstream development, please visit:
https://www-ps.informatik.uni-kiel.de/~kics2

Getting KiCS2 for Debian

Our APT Package Archive Key

Our package server's archive key is: 0xC270DAF779376A62 (fingerprint: 1D06 ECB4 B040 4737 F38E 9C77 C270 DAF7 7937 6A62). Use this command to make APT trust our package server: 


 $ wget -qO - http://packages.ps.informatik.uni-kiel.de/curry/archive.key | sudo apt-key add -

Latest nightly Snapshots Builds

This currently is work-in-progress...

Latest stable Release Builds

This currently is work-in-progress...

Gettings KiCS2 for Ubuntu

Our APT Package Archive Key

Our package server's archive key is: 0xC270DAF779376A62 (fingerprint: 1D06 ECB4 B040 4737 F38E 9C77 C270 DAF7 7937 6A62). Use this command to make APT trust our package server: 


 $ wget -qO - http://packages.ps.informatik.uni-kiel.de/curry/archive.key | sudo apt-key add -

Latest nightly Snapshots Builds

This currently is work-in-progress...

Latest stable Release Builds

This currently is work-in-progress...
-->