[Adding d-release back to the CC.] Hi Sven, Am Samstag, den 23.08.2014, 12:32 +0200 schrieb Sven Bartscher: > That's actually pretty strange. I tried to install the packages in > question on one of my machines (jessie amd64) and apt didn't have any > problems with the dependencies. > Even more strange: Judging from the dependencies for libghc-agda-dev, > jenkins tries to install the sid version. For example: libghc-agda-dev > in testing depends libghc-quickcheck-2.6 whereas > libghc-quickcheck-2.7.6 (which jenkins tries to install) isn't even in > testing. > > To me it seems that jenkins is messing around with sid and jessie. > Jenkins seems to use a http proxy, maybe some of the Release files have > been thrown around and the proxy passes the sid Release files, while > actually jessie was requested. But that's just a wild theory. > > So all in all, jenkins seems to have some serious problems right now. are you sure: According to $ rmadison agda debian: agda | 2.2.6-7 | squeeze | source agda | 2.3.0.1-2 | wheezy | source, all agda | 2.3.2.2-1 | sid | source, all agda | 2.4.0.2-2 | jessie | source, all agda | 2.4.0.2-2 | sid | source, all and https://packages.qa.debian.org/a/agda.html, agda really did migrate to testing yesterday. Did you apt-get update _your_ jessie installation before testing this? pkern suggested that someone might have forced it in, but according to https://release.debian.org/britney/hints/ there were no haskell-related force hints recently. There is #20140822 # Finish the perl 5.20 transition urgent uwsgi/2.0.6~dfsg-8 libmusicbrainz-discid-perl/0.03-5 findimagedupes/2.18-6 libpgplot-perl/1:2.21-5 libdata-streamdeserializer-perl/0.06-1.1 pcp/3.9.9 libcompress-bzip2-perl/2.18-1 php5/5.6.0~rc4+dfsg-4 kildclient/2.11.1-1.1 highlight/3.18-3 libfilehandle-fmode-perl/0.14-1 libvirt/1.2.7-10 xen/4.4.0-2 remove libdbd-oracle-perl/1.66-1 ora2pg/8.11-1 remove snimpy/0.8.1-2 in https://release.debian.org/britney/hints/pochu which co-incides with the uninstallability, but I don’t see a direct connection. Greetings, Joachim -- Joachim "nomeata" Breitner Debian Developer nomeata@debian.org | ICQ# 74513189 | GPG-Keyid: F0FBF51F JID: nomeata@joachim-breitner.de | http://people.debian.org/~nomeata
Attachment:
signature.asc
Description: This is a digitally signed message part