Please sync matita 0.5.2-1 from Debian(Unstable)
Bug #244921 reported by
Stefan Ebner
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
matita (Ubuntu) |
Fix Released
|
Undecided
|
Unassigned |
Bug Description
Binary package hint: matita
matita (0.5.2-1) unstable; urgency=low
* New upstream release
-- Enrico Tassi <email address hidden> Wed, 02 Jul 2008 11:39:06 +0200
Changed in matita: | |
assignee: | nobody → sebner |
status: | New → In Progress |
Changed in matita: | |
assignee: | sebner → nobody |
status: | In Progress → New |
To post a comment you must log in.
ACKed.