matita 0.99.3-1 is marked for autoremoval from testing on 2018-12-11 It is affected by these RC bugs: 913606: matita: matita FTBFS with lablgtk2 2.18.5+dfsg-2
matita is marked for autoremoval from testing
Debian testing autoremoval watch Mon, 19 Nov 2018 20:57:32 -0800
- matita is marked for autoremoval from tes... Debian testing autoremoval watch
- matita is marked for autoremoval fro... Debian testing autoremoval watch
- matita is marked for autoremoval fro... Debian testing autoremoval watch