On Sat, 23 Aug 2014 07:52:15 -0700 Joachim Breitner <nomeata@debian.org> wrote: > [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. Sorry if I was unclear. I actually meant that haskell-quickcheck isn't migrated to testing: $ rmadison haskell-quickcheck debian: haskell-quickcheck | 2.1.0.3-1 | squeeze | source haskell-quickcheck | 2.4.1.1-1~bpo60+1 | squeeze-backports | source haskell-quickcheck | 2.4.2-1 | wheezy | source haskell-quickcheck | 2.6-1 | jessie | source haskell-quickcheck | 2.7.6-2 | sid | source haskell-quickcheck | 2.7.6-3 | sid | source Regards Sven
Attachment:
signature.asc
Description: PGP signature