FS#65264 - [idris] Not built against the latest haskell libraries in community-testing

Attached to Project: Community Packages
Opened by Thomas Berryhill (oats) - Saturday, 25 January 2020, 04:47 GMT
Last edited by Felix Yan (felixonmars) - Wednesday, 12 February 2020, 06:28 GMT
Task Type Bug Report
Category Packages: Testing
Status Closed
Assigned To Felix Yan (felixonmars)
Architecture All
Severity High
Priority Normal
Reported Version
Due in Version Undecided
Due Date Undecided
Percent Complete 100%
Votes 0
Private No

Details

Description: the 'idris' package is not built against the latest haskell libraries in the repository

Shell output:
$ idris
idris: error while loading shared libraries: libHSbase-4.12.0.0-ghc8.6.5.so: cannot open shared object file: No such file or directory

Additional info:
* package version: idris-1.3.2-48

Steps to reproduce:
- try to run the latest version of idris
This task depends upon

Closed by  Felix Yan (felixonmars)
Wednesday, 12 February 2020, 06:28 GMT
Reason for closing:  Fixed
Comment by Doug Newgard (Scimmia) - Saturday, 25 January 2020, 04:57 GMT
Looks like there needs to be a rebuild against the testing version of ghc-libs.

Loading...