Ubuntu

libfloat-coq binary package in Ubuntu Xenial ppc64el

  1. Xenial (16.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
  2015-11-13 11:49:15 UTC Published Ubuntu Xenial ppc64el release universe libdevel Optional 1:8.4-5build1
  • Published
  • Copied from ubuntu xenial-proposed amd64 in Primary Archive for Ubuntu
  Deleted Ubuntu Xenial ppc64el proposed universe libdevel Optional 1:8.4-5build1
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  • Copied from ubuntu xenial-proposed amd64 in Primary Archive for Ubuntu
  2015-11-13 12:20:14 UTC Superseded Ubuntu Xenial ppc64el release universe libdevel Optional 1:8.4-5
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of coq-float 1:8.4-5build1 in ubuntu xenial PROPOSED
  • Published
  • Copied from ubuntu xenial-proposed amd64 in Primary Archive for Ubuntu
  2015-11-14 18:10:24 UTC Deleted Ubuntu Xenial ppc64el proposed universe libdevel Optional 1:8.4-5
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  • Copied from ubuntu xenial-proposed amd64 in Primary Archive for Ubuntu
  2015-10-24 02:45:40 UTC Superseded Ubuntu Xenial ppc64el release universe libdevel Optional 1:8.4-4
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of coq-float 1:8.4-5 in ubuntu xenial PROPOSED
  • Published
  • Copied from ubuntu utopic-proposed i386 in Primary Archive for Ubuntu

Source package