Jenkins: build right version of Cabal library