Builds for coq-interval

Latest: 4.11.1-1