[ubuntu/zesty-proposed] matita 0.99.3-1 (Accepted)

[Steve Langasek]

matita (0.99.3-1) unstable; urgency=medium

  * New upstream release
  * Remove patch 0001-configure, applied upstream 
  * Remove patch 0002-Help-..., applied upstream 
  * New patch to remove dependency for mysql in configure.ac

Date: 2016-05-25 10:16:23.934092+00:00
Signed-By: Steve Langasek <steve.langasek at canonical.com>
https://launchpad.net/ubuntu/+source/matita/0.99.3-1
-------------- next part --------------
Sorry, changesfile not available.