Daan Hoogland Tue, 06 May 2014 05:05:06 -0700
Can someone (or actually everybody!) please have a look at the INSTALL.md file to decide if we need to update some of the package names and version numbers in there?
thanks -- Daan
