[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