And here's the diff of /var/lib/apt/extended_states between the contents before and after the upgrade:
--- extended_states 2013-08-21 11:13:18.000000000 +0200 +++ /var/lib/apt/extended_states 2013-08-21 11:18:36.000000000 +0200 @@ -8630,7 +8630,11 @@ Architecture: amd64 Auto-Installed: 1 -Package: libopenmpi1.3 +Package: libcr0 +Architecture: amd64 +Auto-Installed: 1 + +Package: libhwloc-plugins Architecture: amd64 Auto-Installed: 1 One can see that libopenmpi1.3 has been removed from the file as expected, but libopenmpi1.6 hasn't been added to this file, so that it doesn't have "Auto-Installed" information. I suspect that it is 0 (manual installation) by default. Indeed, if I run aptitude and search for libopenmpi1.6, it does not have the A flag, i.e. it is regarded as manually installed, as announced before the upgrade. -- Vincent Lefèvre <[email protected]> - Web: <http://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <http://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon) _______________________________________________ Aptitude-devel mailing list [email protected] http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/aptitude-devel
