Installer,php-devel, debian 7

bonjour!

je veux installer php-devel

Mais m’affiche cette erreur

Lecture des listes de paquets... Fait Construction de l'arbre des dépendances Lecture des informations d'état... Fait E: Impossible de trouver le paquet php-devel

mon souces-list est voici:

[code]#

deb cdrom:[Debian GNU/Linux 7.0.0 Wheezy - Official i386 DVD Binary-1 20130504-15:20]/ wheezy contrib main

#deb cdrom:[Debian GNU/Linux 7.0.0 Wheezy - Official i386 DVD Binary-1 20130504-15:20]/ wheezy contrib main

deb http://ftp.fr.debian.org/debian/ wheezy main non-free contrib
deb http://security.debian.org/ wheezy/updates main contrib non-free
deb http://ftp.fr.debian.org/debian/ wheezy-proposed-updates main contrib non-free
deb http://www.deb-multimedia.org wheezy main non-free

Line commented out by installer because it failed to verify:

#deb http://security.debian.org/ wheezy/updates main contrib

Line commented out by installer because it failed to verify:

#deb-src http://security.debian.org/ wheezy/updates main contrib

wheezy-updates, previously known as ‘volatile’

A network mirror was not selected during install. The following entries

are provided as examples, but you should amend them as appropriate

for your mirror of choice.

deb http://ftp.debian.org/debian/ wheezy-updates main contrib

deb-src http://ftp.debian.org/debian/ wheezy-updates main contrib[/code]

merci d’avance.

Salut,

Serait plus juste.

  • edit *

Par ailleurs, tu ferais bien de commenter ce dépôt.

Le mécanisme des propositions de mises à jour

ok merci.
c’est propre.