agda is marked for autoremoval from testing

Debian testing autoremoval watch noreply at release.debian.org
Sun Oct 1 04:39:08 UTC 2017

Next message: agda is marked for autoremoval from testing
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

agda 2.5.2-2 is marked for autoremoval from testing on 2017-11-06

It is affected by these RC bugs:
876605: agda: agda FTBFS: Couldn't match type â€˜t13â€™ with â€˜()â€™

Next message: agda is marked for autoremoval from testing
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Pkg-haskell-maintainers mailing list