Ubuntu

matita binary package in Ubuntu Xenial amd64

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

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  Deleted Ubuntu Xenial amd64 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 amd64 in Primary Archive for Ubuntu