agda is marked for autoremoval from testing

Debian testing autoremoval watch noreply at release.debian.org
Wed Nov 22 04:39:05 UTC 2017


agda 2.5.3-3 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)




More information about the Pkg-haskell-maintainers mailing list