Ubuntu

libghc-sbv-doc binary package in Ubuntu Xenial powerpc

  1. Xenial (16.04)
  2. powerpc
  3. libghc-sbv-doc

 Express properties about Haskell programs and automatically prove them
 using SMT (Satisfiability Modulo Theories) solvers.
 .
 This package provides the documentation for a library for the Haskell
 programming language.
 See http://www.haskell.org/ for more information on Haskell.

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2016-02-10 15:18:47 UTC Published Ubuntu Xenial powerpc release universe doc Extra 5.9-1build1
  • Published
  • Copied from ubuntu xenial-proposed amd64 in Primary Archive for Ubuntu
  Deleted Ubuntu Xenial powerpc proposed universe doc Extra 5.9-1build1
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  • Copied from ubuntu xenial-proposed amd64 in Primary Archive for Ubuntu
  2016-01-13 13:37:42 UTC Superseded Ubuntu Xenial powerpc proposed universe doc Extra 5.9-1
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of haskell-sbv 5.9-1build1 in ubuntu xenial PROPOSED
  • Published
  • Copied from ubuntu xenial-proposed amd64 in Primary Archive for Ubuntu
  2016-02-10 15:39:48 UTC Superseded Ubuntu Xenial powerpc release universe doc Extra 5.7-1
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of haskell-sbv 5.9-1build1 in ubuntu xenial PROPOSED
  • Published
  • Copied from ubuntu xenial-proposed amd64 in Primary Archive for Ubuntu
  2016-02-11 18:10:10 UTC Deleted Ubuntu Xenial powerpc proposed universe doc Extra 5.7-1
  • 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-12-29 07:20:16 UTC Superseded Ubuntu Xenial powerpc release universe doc Extra 4.4-1
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of haskell-sbv 5.7-1 in ubuntu xenial PROPOSED
  • Published
  • Copied from ubuntu xenial-proposed amd64 in Primary Archive for Ubuntu
  2015-12-30 12:10:10 UTC Deleted Ubuntu Xenial powerpc proposed universe doc Extra 4.4-1
  • 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

Source package