Gentoo Linux ebuilds for 7.1.1 and 7.1.2

Hey there is an important piece of information that I forget when we spoke on the phone. If you put a *.gpkg context package file into a subfolder of the install directory called “upgrades” it will extract it and upgrade the context automatically on startup.