[SCM] Eigen3 packaging. branch, experimental, updated. debian/3.1.0-1-18-g06a5d39

[Anton Gladky]

The following commit has been merged in the experimental branch:
commit e8c27798565f6899a85a9498dffcf1cea3fda695
Merge: cc47a2d3fc404fae89f32efc1303846d88eea413 4b72bfc858e81e93733f811a296b1d096e1626ad
Author: Anton Gladky <gladky.anton at gmail.com>
Date:   Wed Nov 7 22:17:47 2012 +0100

    Merge tag 'upstream/3.1.2' into experimental
    
    Upstream version 3.1.2


-- 
Eigen3 packaging.