Builds for alt-ergo

Latest: 2.0.0-7