[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