matita 0.99.1-3 is marked for autoremoval from testing on 2015-11-24 It (build-)depends on packages with these RC bugs: 801550: ocamlnet: FTBFS -- unterminated string literal
matita is marked for autoremoval from testing
Debian testing autoremoval watch Sun, 18 Oct 2015 21:59:46 -0700
- 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