[SCM] Eigen3 packaging. branch, experimental, updated. debian/3.1.2-1_exp4-6-g2ccf308

[Anton Gladky]

The following commit has been merged in the experimental branch:
commit bcf3797f06eea0c6c0b7173ec4b9325b5809818f
Merge: 46be8a7b91d2ffd8e12b43cdb9139e7fa25a5fa8 a1655c2ad5f114766c5a80af647096324c3f93fa
Author: Anton Gladky <gladky.anton at gmail.com>
Date:   Tue Apr 16 21:55:35 2013 +0200

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


-- 
Eigen3 packaging.