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