Hi, On Sat, Sep 26, 2015 at 01:36:16PM +0200, Michael Banck wrote: > The version in experimental ist still a prerelease, so I don't think > that is appropriate for Debian, but I'll check back with upstream now.
According to upstream they might release 1.2 real soon now, so I'd say let's wait a few days/weeks whether this happens. When is Eigen 3.3 due, or is it released already? Michael
