Source: agda Version: 2.4.2.5-1 Severity: serious Justification: fails to build from source (but built successfully in the past)
Hi, agda cannot be built in sid any more sice cpphs was upgraded to 1.20.1: https://buildd.debian.org/status/package.php?p=agda&suite=unstable Andreas
