Ok I have looked up PackMan. PackMan is ROOL's package manager, and RiscPkg is the community package manager. No, PackMan and RiscPkg are both front-ends for the same package system. RiscPkg is older and development seems to have stopped, PackMan is more recent and is still actively being developed...