[Agda] More aggressive `with`: Please check your Agda-2.4.2
developments!
Andreas Abel
andreas.abel at ifi.lmu.de
Thu Nov 19 23:44:46 CET 2015
Alternatively, you can install via a sandbox (instead of make install-bin)
cabal sandbox init
cabal install
On 19.11.2015 19:32, effectfully wrote:
> Hi. I'm getting
>
> cabal: The following packages are likely to be broken by the reinstalls:
> Agda-2.4.3
> Use --force-reinstalls if you want to install anyway.
>
> Where should I put "--force-reinstalls"?
>
--
Andreas Abel <>< Du bist der geliebte Mensch.
Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden
andreas.abel at gu.se
http://www2.tcs.ifi.lmu.de/~abel/
More information about the Agda
mailing list