Ubuntu
matita package

Branches for Oneiric

Name		Status	Last Modified	Last Commit
lp://staging/ubuntu/oneiric/matita		2 Mature	2011-05-31 11:17:47 UTC 2011-05-31	22. [ Stéphane Glondu ] * Team upload * S... Author: Stéphane Glondu Revision Date: 2011-05-31 11:17:47 UTC [ Stéphane Glondu ] * Team upload * Switch packaging to git * Switch source package format to 3.0 (quilt) * Remove Stefano from Uploaders [ Colin Watson ] * Apply r11210 from upstream SVN to account for changes in the signatures of Gramext.Slist0sep and Gramext.Slist1sep (Closes: #612891)