Hi Klaus, we should probably close ppa yade-useres/external. It is not maintained any more.
Regards Anton 2014-07-29 5:54 GMT+02:00 Klaus Thoeni <klaus.tho...@gmail.com>: > Hi Anton, > > why is Eigen3 version 3.2.1 for Trusty not included on our ppa:yade- > users/external but instead on http://yade-dem.org/packages? The default > version in Trusty is 3.2.0-8. > > Cheers > Klaus _______________________________________________ Mailing list: https://launchpad.net/~yade-dev Post to : yade-dev@lists.launchpad.net Unsubscribe : https://launchpad.net/~yade-dev More help : https://help.launchpad.net/ListHelp