agda 2.6.0.1-1 is marked for autoremoval from testing on 2020-07-30 It (build-)depends on packages with these RC bugs: 962958: haskell-edison-core: Removal notice: broken and unuseful 962959: haskell-edison-api: Removal notice: broken and unuseful