agda 2.4.2.2-4 is marked for autoremoval from testing on 2016-01-21 It (build-)depends on packages with these RC bugs: 807390: haskell-geniplate: FTBFS: At least the following dependencies are missing: template-haskell