Ubuntu

curry-libs-source binary package in Ubuntu Bionic arm64

  1. Bionic (18.04)
  2. arm64
  3. curry-libs-source

 PAKCS and KICS2 are two different implementations of the programming
 language Curry. Curry is a functional programming language being developed
 at Kiel, Aachen and Portland University.
 .
 Whereas PAKCS is a Curry to Prolog compiler, KICS2 compiles Curry code
 into Haskell. Both compilers require two source code trees at compiler
 build time: curry-libs-source and curry-tools-source.
 .
 This package provides the source files of the curry-libs.

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2018-02-09 19:13:14 UTC Published Ubuntu Bionic arm64 release universe devel Optional 2.0.1-1
  • Published
  • Copied from ubuntu bionic-proposed amd64 in Primary Archive for Ubuntu
  Deleted Ubuntu Bionic arm64 proposed universe devel Optional 2.0.1-1
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  • Copied from ubuntu bionic-proposed amd64 in Primary Archive for Ubuntu
  2018-02-09 19:14:03 UTC Superseded Ubuntu Bionic arm64 release universe devel Optional 2.0.0-1
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of curry-libs 2.0.1-1 in ubuntu bionic PROPOSED
  • Published
  • Copied from ubuntu bionic-proposed amd64 in Primary Archive for Ubuntu
  2018-02-11 00:10:10 UTC Deleted Ubuntu Bionic arm64 proposed universe devel Optional 2.0.0-1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  • Copied from ubuntu bionic-proposed amd64 in Primary Archive for Ubuntu
  2017-12-13 00:48:23 UTC Superseded Ubuntu Bionic arm64 release universe devel Optional 1.0.3-2
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of curry-libs 2.0.0-1 in ubuntu bionic PROPOSED
  • Published
  • Copied from ubuntu bionic-proposed amd64 in Primary Archive for Ubuntu
  2017-12-14 06:10:19 UTC Deleted Ubuntu Bionic arm64 proposed universe devel Optional 1.0.3-2
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  • Copied from ubuntu bionic-proposed amd64 in Primary Archive for Ubuntu
  2017-11-02 01:51:57 UTC Superseded Ubuntu Bionic arm64 release universe devel Optional 1.0.3-1
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of curry-libs 1.0.3-2 in ubuntu bionic PROPOSED
  • Published
  • Copied from ubuntu artful-proposed amd64 in Primary Archive for Ubuntu

Source package