ediprolog-el 1.2-2 is marked for autoremoval from testing on 2020-06-04 It (build-)depends on packages with these RC bugs: 958419: swi-prolog, src:eye: swi-prolog breaks eye autopkgtest: Failed 7/15 subtests