Bug#763462: Package marked as bad although it is “uncompiled”

2014-10-01 Thread Stéphane Glondu
Le 30/09/2014 15:14, 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

Re: getting janest-core dependencies to a current state

2014-10-01 Thread Stéphane Glondu
Le 24/09/2014 23:11, Hilko Bengen a écrit : I am not sure how to proceed with the other 9 packages: Should I upload everything to experimental first or should I upload everything (including updates of the 4 packages mentioned above) to unstable? You choose. Right now, I don't see any

Bug#763462: Package marked as bad although it is “uncompiled”

2014-10-01 Thread Joachim Breitner
Hi, Am Mittwoch, den 01.10.2014, 17:52 +0200 schrieb Stéphane Glondu: Le 30/09/2014 15:14, 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