[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