[Agda] install agda

[Pierre Lescanne]

Le 02/05/2020 à 22:35, Andrés Sicard-Ramírez a écrit :
> Hi Michel,
>
> In this case, uninstall the Ubuntu packages and install Agda without
> sandboxes using
>
>    $ cabal install Agda

Hi,


I am on Debian.  And with Agda 2.4.0.2 and I want to upgrade it.

I did what you suggested:

  * I uninstalled agda on Debian
  * I run
      o cabal install Agda

I got the following message

---------------------------------

Resolving dependencies...
In order, the following would be installed:
EdisonAPI-1.3.1 (new package)
STMonadTrans-0.4.4 (new version)
base-orphans-0.4.5 (latest: 0.8.2) (new version)
edit-distance-0.2.2.1 (new package)
equivalence-0.3.5 (new version)
geniplate-mirror-0.7.7 (new package)
hashtables-1.2.1.1 (latest: 1.2.3.2) (new version)
monadplus-1.4.2 (new package)
murmur-hash-0.1.0.9 (new package)
process-1.4.3.0 (latest: 1.6.8.2) (new version)
gitrev-1.3.1 (new package)
haskeline-0.7.4.3 (latest: 0.8.0.0) (reinstall) changes: process-1.6.3.0 ->
1.4.3.0
splitmix-0.0.4 (new package)
QuickCheck-2.14 (new version)
EdisonCore-1.3.1.1 (latest: 1.3.2.1) (new package)
tagged-0.8.6 (reinstall) changes: transformers-compat-0.6.2 -> 0.5.1.4
semigroups-0.18.5 (latest: 0.19.1) (reinstall) changes:
transformers-compat-0.6.2 -> 0.5.1.4
parsec-3.1.14.0 (new version)
regex-tdfa-1.2.3.2 (latest: 1.3.1.0) (new version)
void-0.7.3 (new version)
zlib-0.6.0.2 (latest: 0.6.2.1) (new version)
Agda-2.5.2 (latest: 2.6.1) (new package)
cabal: The following packages are likely to be broken by the reinstalls:
void-0.7.2
contravariant-1.5
semigroupoids-5.3.1
profunctors-5.2.2
invariant-0.5.1
comonad-5.0.4
bifunctors-5.5.3
vector-0.12.0.1
vector-binary-instances-0.2.5.1
aeson-1.2.4.0
regex-tdfa-1.2.3.1
reflection-2.1.4
parsers-0.12.9
parsec-3.1.13.0
network-uri-2.6.1.0
optparse-applicative-0.14.3.0
distributive-0.6
css-text-0.1.3.0
charset-0.3.7.1
blaze-builder-0.4.1.0
blaze-markup-0.8.2.2
blaze-html-0.9.1.1
attoparsec-0.13.2.2
ansi-wl-pprint-0.6.8.2
Use --force-reinstalls if you want to install anyway.
-----------------------

-- 
Cordialement,

---------------------------
Pierre Lescanne (Professeur émérite)
LIP / ENS de Lyon
46 allée d'Italie
69364 LYON Cedex 07, France
tél: +33 6 85 70 94 31
http://perso.ens-lyon.fr/pierre.lescanne/
---------------------------

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20200507/5500c043/attachment.html>