Hi Iain, the agda package build-depends on syb (< 0.4) and hence is not buildable: https://buildd.debian.org/status/package.php?p=agda&suite=sid
It seems that agda no longer depends on syb, so you can just remove the build depends (and maybe check the other build dependencies while you are at it). Greetings, Joachim -- Joachim "nomeata" Breitner Debian Developer nome...@debian.org | ICQ# 74513189 | GPG-Keyid: 4743206C JID: nome...@joachim-breitner.de | http://people.debian.org/~nomeata
signature.asc
Description: This is a digitally signed message part
