Hi, Le 01/10/2014 à 18:26, Joachim Breitner a écrit :
currently, https://release.debian.org/transitions/html/haskell.html lists agda as bad on armel, armhf, hurd and others, although it is in state "uncompiled" according to wanna-build (and hence there is no transition problem). It would be nice if ben could be more accurate here.It says so because agda (the binary package) is arch:all, so its installability is tested on all architectures. Are you suggesting that we ignore also arch:all packages when the package is uncompiled?I think it would be the right guess in most cases, but possibly not all.I'd rather see a new predicate for this state, and an explicit reference to it in good/bad queries.That’d work as well.
I've just committed a patch that adds a ".build-status" pseudo-header, which can be matched against, e.g. in a "is_bad" query with:
.uninstallable ~ "yes" & ! .build-status ~ "uncompiled" Cheers, -- Stéphane