A package manager for Minigrace