It's never mentioned the package name available on the PPA and, as it's not the deb file name (GAMA_1.9.2_Linux_with_JDK.deb), it's confusing for new comers to use the PPA properly.
Proposes solution
Document available packages on both README and web index page
It's never mentioned the package name available on the PPA and, as it's not the deb file name (
GAMA_1.9.2_Linux_with_JDK.deb), it's confusing for new comers to use the PPA properly.Proposes solution
Document available packages on both README and web index page