Bug#719198: kdevelop: Can't install kdevelop-php with kdevelop4.5.1

[Patrick Peronny <patrick.peronny@laposte.net>]

Package: kdevelop
Version: 4:4.5.1-1
Severity: normal

Dear Maintainer,
*** Please consider answering these questions, where appropriate ***

   * What led up to the situation?
I upgraded from kdevelop 4.3.1(jessie) to kdevelop4.5.1 (experimental). It installed kdevplatform7-libs and uninstalled kdevplatform5-libs and kdevelop-php. 

   * What exactly did you do (or not do) that was effective (or
     ineffective)?

I tried to reinstall kdevelop-php :
apt-get install kdevelop-php
apt-get install -t experimental kdevelop-php

   * What was the outcome of this action?
It fails :
Les paquets suivants contiennent des dépendances non satisfaites :
 kdevelop-php : Dépend: kdevplatform5-libs (>= 1.3.1) mais ne sera pas installé


   

-- System Information:
Debian Release: 7.0
  APT prefers testing
  APT policy: (970, 'testing'), (870, 'experimental')
Architecture: amd64 (x86_64)

Kernel: Linux 3.2.0-2-amd64 (SMP w/2 CPU cores)
Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash

Versions of packages kdevelop depends on:
ii  kde-runtime                    4:4.8.4-2
ii  kdevelop-data                  4:4.5.1-1
ii  kdevplatform7-libs             1.5.1-1
ii  libc6                          2.17-3
ii  libgcc1                        1:4.7.2-5
ii  libkasten1controllers1         4:4.8.4+dfsg-1
ii  libkasten1core1                4:4.8.4+dfsg-1
ii  libkasten1okteta1controllers1  4:4.8.4+dfsg-1
ii  libkasten1okteta1core1         4:4.8.4+dfsg-1
ii  libkasten1okteta1gui1          4:4.8.4+dfsg-1
ii  libkcmutils4                   4:4.8.4-4
ii  libkdeclarative5               4:4.8.4-4
ii  libkdecore5                    4:4.8.4-4
ii  libkdeui5                      4:4.8.4-4
ii  libkio5                        4:4.8.4-4
ii  libknewstuff3-4                4:4.8.4-4
ii  libkparts4                     4:4.8.4-4
ii  libktexteditor4                4:4.8.4-4
ii  libplasma3                     4:4.8.4-4
ii  libprocessui4a                 4:4.8.4-6
ii  libqt4-dbus                    4:4.8.2+dfsg-11
ii  libqt4-declarative             4:4.8.2+dfsg-11
ii  libqt4-help                    4:4.8.2+dfsg-11
ii  libqt4-network                 4:4.8.2+dfsg-11
ii  libqt4-script                  4:4.8.2+dfsg-11
ii  libqtcore4                     4:4.8.2+dfsg-11
ii  libqtgui4                      4:4.8.2+dfsg-11
ii  libqtwebkit4                   2.2.1-5
ii  libstdc++6                     4.7.2-5
ii  libsublime7                    1.5.1-1
ii  libthreadweaver4               4:4.8.4-4

Versions of packages kdevelop recommends:
ii  g++   4:4.7.2-1
ii  gcc   4:4.7.2-1
ii  gdb   7.4.1+dfsg-0.1
ii  make  3.81-8.2

Versions of packages kdevelop suggests:
pn  cmake          <none>
pn  kapptemplate   <none>
ii  kdevelop-l10n  4:4.3.1-3

-- no debconf information