agda 2.5.2-2 is marked for autoremoval from testing on 2017-12-23 It (build-)depends on packages with these RC bugs: 881307: agda-stdlib: agda-stdlib FTBFS: <stdout>: commitBuffer: invalid argument (invalid character)