<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body>
<div class="moz-cite-prefix">Le 02/05/2020 à 22:35, Andrés
Sicard-Ramírez a écrit :<br>
</div>
<blockquote type="cite"
cite="mid:CAOUWSGDBp3J52z0p-ub8pxdigbeOEVxi7eNpSycz0=ugY1v00A@mail.gmail.com">
<pre class="moz-quote-pre" wrap="">Hi Michel,
In this case, uninstall the Ubuntu packages and install Agda without
sandboxes using
$ cabal install Agda</pre>
</blockquote>
<p>Hi,</p>
<p><br>
</p>
<p>I am on Debian. And with Agda 2.4.0.2 and I want to upgrade it.
<br>
</p>
<p>I did what you suggested:</p>
<ul>
<li>I uninstalled agda on Debian</li>
<li>I run <br>
</li>
<ul>
<li>cabal install Agda</li>
</ul>
</ul>
<p>I got the following message</p>
<p>---------------------------------<br>
</p>
<p>Resolving dependencies...<br>
In order, the following would be installed:<br>
EdisonAPI-1.3.1 (new package)<br>
STMonadTrans-0.4.4 (new version)<br>
base-orphans-0.4.5 (latest: 0.8.2) (new version)<br>
edit-distance-0.2.2.1 (new package)<br>
equivalence-0.3.5 (new version)<br>
geniplate-mirror-0.7.7 (new package)<br>
hashtables-1.2.1.1 (latest: 1.2.3.2) (new version)<br>
monadplus-1.4.2 (new package)<br>
murmur-hash-0.1.0.9 (new package)<br>
process-1.4.3.0 (latest: 1.6.8.2) (new version)<br>
gitrev-1.3.1 (new package)<br>
haskeline-0.7.4.3 (latest: 0.8.0.0) (reinstall) changes:
process-1.6.3.0 -><br>
1.4.3.0<br>
splitmix-0.0.4 (new package)<br>
QuickCheck-2.14 (new version)<br>
EdisonCore-1.3.1.1 (latest: 1.3.2.1) (new package)<br>
tagged-0.8.6 (reinstall) changes: transformers-compat-0.6.2 ->
0.5.1.4<br>
semigroups-0.18.5 (latest: 0.19.1) (reinstall) changes:<br>
transformers-compat-0.6.2 -> 0.5.1.4<br>
parsec-3.1.14.0 (new version)<br>
regex-tdfa-1.2.3.2 (latest: 1.3.1.0) (new version)<br>
void-0.7.3 (new version)<br>
zlib-0.6.0.2 (latest: 0.6.2.1) (new version)<br>
Agda-2.5.2 (latest: 2.6.1) (new package)<br>
cabal: <font color="#d60707">The following packages are likely to
be broken by the reinstalls:</font><br>
void-0.7.2<br>
contravariant-1.5<br>
semigroupoids-5.3.1<br>
profunctors-5.2.2<br>
invariant-0.5.1<br>
comonad-5.0.4<br>
bifunctors-5.5.3<br>
vector-0.12.0.1<br>
vector-binary-instances-0.2.5.1<br>
aeson-1.2.4.0<br>
regex-tdfa-1.2.3.1<br>
reflection-2.1.4<br>
parsers-0.12.9<br>
parsec-3.1.13.0<br>
network-uri-2.6.1.0<br>
optparse-applicative-0.14.3.0<br>
distributive-0.6<br>
css-text-0.1.3.0<br>
charset-0.3.7.1<br>
blaze-builder-0.4.1.0<br>
blaze-markup-0.8.2.2<br>
blaze-html-0.9.1.1<br>
attoparsec-0.13.2.2<br>
ansi-wl-pprint-0.6.8.2<br>
Use --force-reinstalls if you want to install anyway.<br>
-----------------------<br>
</p>
<pre class="moz-signature" cols="72">
--
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
<a class="moz-txt-link-freetext" href="http://perso.ens-lyon.fr/pierre.lescanne/">http://perso.ens-lyon.fr/pierre.lescanne/</a>
--------------------------- </pre>
</body>
</html>