<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>