[Agda] failure of cabal install Agda

Andrés Sicard-Ramírez asr at eafit.edu.co
Sat May 2 15:34:34 CEST 2020


On Wed, 18 Mar 2020 at 11:26, Michel Levy <michel.levy.imag at free.fr> wrote:
>
> I have try this
>
> michel at M1330:~$ cabal install gitrev
> Resolving dependencies...
> All the requested packages are already installed:
> gitrev-1.3.1
> Use --reinstall if you want to reinstall anyway.
>
> And reinstall is not a command for cabal.
>

Note that `reinstall` is a flag for `cabal install`:

    $ cabal install gitrev --reinstall


--
Andrés


More information about the Agda mailing list