Hi Anton, > > We should, probably, consider creating our own build-server for > Ubuntu/Debian > daily builds.
I was also thinking about that recently. Thanks for investigating the problem and suggesting this. What do we need to setup a build server? Also a question. The version number of yade-daily in my package manager (5+3730+52~ubuntu12.04.1) seems to not reflect the version number of yade-pkg ppa (8+3754+64~ubuntu12.04.1). Do you understand that? Bruno _______________________________________________ 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