Ubuntu

polyml binary package in Ubuntu Bionic amd64

  1. Bionic (18.04)
  2. amd64
  3. polyml

 Poly/ML is an implementation of the Standard ML programming language
 Standard ML is a general-purpose, modular, type-safe, strict,
 functional programming language. Poly/ML is SML 97 compliant
 interpreter and compiler that supports the generation of stand-alone
 executables with an interactive toplevel (REPL).
 .
 This package provides the top-level interpreter and compiler.

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2017-12-09 12:08:11 UTC Published Ubuntu Bionic amd64 release universe interpreters Extra 5.7.1-1
  • Published
  • Copied from ubuntu bionic-proposed amd64 in Primary Archive for Ubuntu
  Deleted Ubuntu Bionic amd64 proposed universe interpreters Extra 5.7.1-1
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2017-12-09 12:08:27 UTC Superseded Ubuntu Bionic amd64 release universe interpreters Extra 5.7-2
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of polyml 5.7.1-1 in ubuntu bionic PROPOSED
  • Published
  • Copied from ubuntu bionic-proposed amd64 in Primary Archive for Ubuntu
  2017-12-10 12:10:09 UTC Deleted Ubuntu Bionic amd64 proposed universe interpreters Extra 5.7-2
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2017-11-08 15:45:41 UTC Superseded Ubuntu Bionic amd64 release universe interpreters Extra 5.7-1
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of polyml 5.7-2 in ubuntu bionic PROPOSED
  • Published
  • Copied from ubuntu artful-proposed amd64 in Primary Archive for Ubuntu

Source package