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

2024-07-08 Thread Stéphane Glondu
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

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" acco

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 nic

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

2014-09-30 Thread Joachim Breitner
Source: ben Severity: normal -BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Hi, 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 p