Ubuntu

libssreflect-ocaml-dev binary package in Ubuntu Trusty i386

  1. Trusty (14.04)
  2. i386
  3. libssreflect-ocaml-dev

 This package is part of Ssreflect, the small scale reflection
 extension for Coq. It provides the static native-code library, needed
 to build custom toplevels, and the compiled interface.

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2014-01-21 06:53:22 UTC Published Ubuntu Trusty i386 release universe ocaml Extra 1.5~rc1-3
  • Published
  • Copied from ubuntu trusty-proposed i386 in Primary Archive for Ubuntu
  Deleted Ubuntu Trusty i386 proposed universe ocaml Extra 1.5~rc1-3
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2014-01-21 06:54:07 UTC Superseded Ubuntu Trusty i386 release universe ocaml Extra 1.5~rc1-2
  • Removed from disk .
  • Removal requested .
  • Superseded by i386 build of ssreflect 1.5~rc1-3 in ubuntu trusty PROPOSED
  • Published
  • Copied from ubuntu trusty-proposed i386 in Primary Archive for Ubuntu
  2014-01-22 12:10:12 UTC Deleted Ubuntu Trusty i386 proposed universe ocaml Extra 1.5~rc1-2
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2013-12-24 16:47:07 UTC Superseded Ubuntu Trusty i386 release universe ocaml Extra 1.4-2
  • Removed from disk .
  • Removal requested .
  • Superseded by i386 build of ssreflect 1.5~rc1-2 in ubuntu trusty PROPOSED
  • Published
  • Copied from ubuntu saucy-proposed i386 in Primary Archive for Ubuntu

Source package