My problem might have been at least partly that I had the latest tagged 
version, rather than the latest master, of most packages. It seems most of 
these are on top of things but haven't tagged a release yet, so Pkg.checkout() 
is likely to solve the problems. 

Thanks for all the answers! 

// T 

Reply via email to