Changed the case of the repo name for prolog pack.