Ubuntu

matita binary package in Ubuntu Xenial powerpc

  1. Xenial (16.04)
  2. powerpc
  3. matita

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  Deleted Ubuntu Xenial powerpc release universe math Optional 0.99.1-3
  • Removal requested .
  • Deleted by Steve Langasek

    FTBFS, blocks ocaml transition; Debian bug #802264

  • Published
  • Copied from ubuntu trusty-proposed powerpc in Primary Archive for Ubuntu