This repo is usually pulled into the Antipasto Arduino IDE repo and stable releases can be found there.