aac-tactics 0.4-5 is marked for autoremoval from testing on 2016-02-20 It (build-)depends on packages with these RC bugs: 802264: camlp5: matita: FTBFS with OCaml 4.02.3
aac-tactics is marked for autoremoval from testing
Debian testing autoremoval watch Thu, 21 Jan 2016 20:58:09 -0800
- aac-tactics is marked for autoremoval fro... Debian testing autoremoval watch
- aac-tactics is marked for autoremova... Debian testing autoremoval watch
