official specifications for the pkgx package manager