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
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
|
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
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.