search

asr / apia

Haskell program for proving first-order theorems written in Agda using automatic theorem provers for first-order logic
MIT License
6 stars 0 forks source link

[ travis ] fix #88 #91

Closed jonaprieto closed 7 years ago

asr commented 7 years ago

I guess you cannot change the cabal version. Let's see what Travis says. Anyway, by choosing Cabal > 1.18 we don't fix the problem.

jonaprieto commented 7 years ago

Yes. You're right.