This repository was archived by the owner on Nov 12, 2025. It is now read-only.

Description
In order to maintain the gentoo package of idris, we have had to manually bump the versions of the following packages:
aeson to aeson-1.5
- 'optparse-applicative
tooptparse-applicative-0.16.1.0`
We have succesfully compiled and run the test-suite using these versions and ghc-8.10.3.
Can you bump these versions in the cabal file and release a new version? This will allow us to better support the gentoo package of this project.