[Agda] Standard library for Agda-2.4.0

Andrés Sicard-Ramírez asr at eafit.edu.co
Sun Jun 15 12:42:03 CEST 2014


On 15 June 2014 05:16, Sergei Meshveliani <mechvel at botik.ru> wrote:

> 2. I tried to install  agda-stdlib-2.4.0,
> and it reports of
>
>   rejecting: base-4.7.0.0/installed-018... (conflict: agda-lib-ffi =>
>   base>=3.0.3.1 && <4.7)
>
> `ghc-pkg list'  shows  base-4.7.0.0
> (probably, it is used in ghc-7.8.2 which I am using).
>
> How to satisfy both  ghc-7.8.2 and agda-stdlib-2.4.0 ?
>

Agda just moved to GitHub and there are maintenance branches (not
implemented yet for the standard library). Meanwhile, for fixing your
version of the standard library, see
https://github.com/agda/agda-stdlib/commit/294d9d533a810957a9b0e7ff3d15e7269abb86da
.


-- 
Andrés
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20140615/68090db2/attachment.html


More information about the Agda mailing list