Metadata revisions for eigen-1.2.5

Package maintainers and Hackage trustees are allowed to edit certain bits of package metadata after a release, without uploading a new tarball. Note that the tarball itself is never changed, just the metadata that is stored separately. For more information about metadata revisions, please refer to the Hackage Metadata Revisions FAQ.

No. Time User SHA256
-r1 (eigen-1.2.5-r1) 2015-03-15T10:04:11Z OlegSidorkin 4f0632c8b45e088cc0a01254bc10e5d534638869dbd012d6d0365147c970e52e
-r0 (eigen-1.2.5-r0) 2015-03-15T09:51:48Z OlegSidorkin 59d3b227bdf43d7653ea92d75ecb3323858bb76624ddf90a21eddc5ce71cae10