sagetex 3.0+ds-4 is marked for autoremoval from testing on 2017-03-19 It (build-)depends on packages with these RC bugs: 852892: swi-prolog: FTBFS: Test failures