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 nomeata@debian.org | ICQ# 74513189 | GPG-Keyid: 4743206C JID: nomeata@joachim-breitner.de | http://people.debian.org/~nomeata
Attachment:
signature.asc
Description: This is a digitally signed message part