official specification for the pkgx package manager