Ubuntu

libpolyml9 binary package in Ubuntu Focal armhf

  1. Focal (20.04)
  2. armhf
  3. libpolyml9

 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 files needed to run stand-alone executables
 built with Poly/ML.

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2020-03-23 08:48:22 UTC Published Ubuntu Focal armhf release universe libs Optional 5.7.1-4build1
  • Published
  • Copied from ubuntu focal-proposed armhf in Primary Archive for Ubuntu
  Deleted Ubuntu Focal armhf proposed universe libs Optional 5.7.1-4build1
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to Release

  • Published
  2020-03-23 08:49:20 UTC Superseded Ubuntu Focal armhf release universe libs Optional 5.7.1-4
  • Removed from disk .
  • Removal requested .
  • Superseded by armhf build of polyml 5.7.1-4build1 in ubuntu focal PROPOSED
  • Published
  • Copied from ubuntu focal-proposed armhf in Primary Archive for Ubuntu
  2020-03-24 12:10:14 UTC Deleted Ubuntu Focal armhf proposed universe libs Optional 5.7.1-4
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to Release

  • Published
  2020-01-20 04:58:19 UTC Superseded Ubuntu Focal armhf proposed universe libs Optional 5.7.1-2ubuntu1
  • Removed from disk .
  • Removal requested .
  • Superseded by armhf build of polyml 5.7.1-4 in ubuntu focal PROPOSED
  • Published
  2020-01-13 09:43:22 UTC Superseded Ubuntu Focal armhf proposed universe libs Optional 5.7.1-2build1
  • Removed from disk .
  • Removal requested .
  • Superseded by armhf build of polyml 5.7.1-2ubuntu1 in ubuntu focal PROPOSED
  • Published
  2020-01-31 09:06:06 UTC Superseded Ubuntu Focal armhf release universe libs Optional 5.7.1-2
  • Removed from disk .
  • Removal requested .
  • Superseded by armhf build of polyml 5.7.1-4 in ubuntu focal PROPOSED
  • Published
  • Copied from ubuntu cosmic-proposed armhf in Primary Archive for Ubuntu

Source package