Outdated Version of 1.20 in PPA.

[jfdm]

Hi, no idea if this is the correct place to post this. Launchpad isn't very intuitive for where to place bug reports.

We are using your ppa and travis to test Idris over multiple ghc/cabal versions, and we are running into a problem with use of the 1.20 version of cabal.

Essentially, I think we are experiencing this cabal issue and we would like to test against cabal 1.20---our issue. However, the PPA doesn't provide the latest version of the 1.20 (or 1.18) series of cabal 1.20.2.0 (as seen from hackage), and provides 1.20.0.3 in which the aforementioned cabal bug is extant.

Is it possible to have your PPA push updated versions of cabal for the 1.20 series>

Jan

[hvr]

this is the right place; I'll try to get to this, but I'm a bit busy currently