Bonjour, Since I installed debian sid (august 2013), I regularly made upgrade, but the kernel doesn't appear to be upgraded. Why? I am running 3.2.0-4-amd64 kernel. Do I have to upgrade to 3.13-1-amd64? If yes how to proceed? Thanks. -- François Patte UFR de mathématiques et informatique Laboratoire CNRS MAP5, UMR 8145 Université Paris Descartes 45, rue des Saints Pères F-75270 Paris Cedex 06 Tél. +33 (0)1 8394 5849 http://www.math-info.univ-paris5.fr/~patte
Attachment:
signature.asc
Description: OpenPGP digital signature