Ubuntu

libfloat-coq binary package in Ubuntu Trusty ppc64el

  1. Trusty (14.04)
  2. ppc64el
  3. libfloat-coq

 This package provides PFF (Preuves Formelles sur les Flottants =
 Formal Proofs about Floats), a library for reasoning about
 floating-point arithmetic in Coq. It contains both definitions and
 proofs of basic facts, old & new properties and algorithms.

Publishing history

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

    moved to release

  • Published
  • Copied from ubuntu trusty-proposed i386 in Primary Archive for Ubuntu
  2014-01-21 06:54:07 UTC Superseded Ubuntu Trusty ppc64el release universe libdevel Optional 1:8.4-2build1
  • Removed from disk .
  • Removal requested .
  • Superseded by i386 build of coq-float 1:8.4-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 ppc64el proposed universe libdevel Optional 1:8.4-2build1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  • Copied from ubuntu trusty-proposed i386 in Primary Archive for Ubuntu
  2013-12-24 16:47:07 UTC Superseded Ubuntu Trusty ppc64el release universe libdevel Optional 1:8.4-2
  • Removed from disk .
  • Removal requested .
  • Superseded by i386 build of coq-float 1:8.4-2build1 in ubuntu trusty PROPOSED
  • Published
  • Copied from ubuntu trusty-proposed i386 in Primary Archive for Ubuntu

Source package