Builds for mathcomp-analysis

Latest: 1.8.0-1