pinning issue or what?

[Matthias Bodenbinder <matthias@bodenbinder.de>]

Hi,

I wanted to have cinnamon 2.8 on debian testing. So I played around with the lmde2 repos (betsy) in testing and managed to install cinnamon 2.8. In the course of this activity I had to donwgrade a handful of packages. It is working now. All is fine, except....

When I do "apt-get dist-upgrade" it wants to remove cinnamon:
----
35# d-u
Reading package lists... Done
Building dependency tree       
Reading state information... Done
Calculating upgrade... Done
The following packages will be REMOVED:
  cinnamon cinnamon-screensaver gir1.2-webkit2-3.0
The following NEW packages will be installed:
  libgtop2-7
The following packages have been kept back:
  libjavascriptcoregtk-3.0-0 libwebkitgtk-3.0-0
The following packages will be upgraded:
  gir1.2-javascriptcoregtk-3.0 gir1.2-webkit-3.0 libmarco-private0 libnemo-extension1 marco marco-common
6 upgraded, 1 newly installed, 3 to remove and 2 not upgraded.
Need to get 287 kB/1241 kB of archives.
After this operation, 1207 kB disk space will be freed.
Do you want to continue? [Y/n] ^C
----

Why is that? The policy says:

----
36# apt-cache policy cinnamon
cinnamon:
  Installed: 2.8.4+betsy
  Candidate: 2.8.4+betsy
  Version table:
 *** 2.8.4+betsy 0
        900 http://packages.linuxmint.com/ betsy/main amd64 Packages
        100 /var/lib/dpkg/status
     2.6.13-1 0
        500 http://ftp.de.debian.org/debian/ testing/main amd64 Packages
        100 http://ftp.de.debian.org/debian/ unstable/main amd64 Packages
     2.2.16-5 0
        500 http://ftp.de.debian.org/debian/ stable/main amd64 Packages
----

>From that point of view it should keep cinnamon. 
Here are my pinning values:

----

37# cat 99_debian 
Package: *
Pin: release a=stable,l=debian
Pin-Priority: 500

Package: *
Pin: release o=Debian,l=Debian-Security
Pin-Priority: 500

Package: *
Pin: release a=testing,l=debian
Pin-Priority: 500

Package: *
Pin: release a=unstable,l=debian
Pin-Priority: 100


Package: *
Pin: release a=experimental
Pin-Priority: 100,l=debian


rakete - root - /etc/apt/preferences.d
38# cat 98_mint 
Package: *
Pin: origin packages.linuxmint.com
Pin-Priority: 900

Package: *
Pin: origin www.deb-multimedia.org
Pin-Priority: 500

---

Any idea?

Thanks
Matthias