Fwd: [Caml-list] Troubles with OPAM
---------- Forwarded message ----------
From: Roberto Di Cosmo <roberto@dicosmo.org>
Date: 2014-10-17 19:09 GMT+02:00
Subject: Re: [Caml-list] Troubles with OPAM
To: Török Edwin <edwin+ml-ocaml@etorok.net>
Cc : Louis Gesbert <louis.gesbert@ocamlpro.com>, Mehdi Dogguy <mehdi@debian.org>
Oh well, thanks a lot Edwin!
Since there is a Debian freeze starting in a couple of weeks, it *is*
urgent to make sure the versions of opam/dose that go into freeze are
coherent.
Cc:ing AltGr, debian-ocaml-maint@lists.debian.org and Mehdi on this
2014-10-17 19:02 GMT+02:00 Török Edwin <edwin+ml-ocaml@etorok.net>:
> On 10/17/2014 07:42 PM, Xavier Van de Woestyne wrote:
>> Hi, i'm using OPAM since 2 years.
>> I recently changed my distribution (now I am on Debian and XFCE).
>> Opam installs easily.
>> But on each update/upgrade try to reinstall every package. (includes base-threads, base-unix). And when I'm trying to install, for example, merlin, after an Eliom installation, Opam try to reinstall ocamlfind 1.5.3 but it could'nt.
>> Do you have any idea? (I have already try to rm -rf .opam and aptitude purge opam to reinstall but the troubles stay).
>
> I hit this bug too, some problem with newer dose used by Debian: https://github.com/ocaml/opam/issues/1683
>
> The workaround for now is to install the beta packages which work with the newer dose:
> http://software.opensuse.org/download.html?project=home:ocaml&package=opam
>
> Hopefully once opam 1.2.0 is out of beta the official Debian package can be updated too.
>
> Best regards,
> --Edwin
>
> --
> Caml-list mailing list. Subscription management and archives:
> https://sympa.inria.fr/sympa/arc/caml-list
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
--
Roberto Di Cosmo
------------------------------------------------------------------
Professeur En delegation a l'INRIA
PPS E-mail: roberto@dicosmo.org
Universite Paris Diderot WWW : http://www.dicosmo.org
Case 7014 Tel : ++33-(0)1-57 27 92 20
5, Rue Thomas Mann
F-75205 Paris Cedex 13 Identica: http://identi.ca/rdicosmo
FRANCE. Twitter: http://twitter.com/rdicosmo
------------------------------------------------------------------
Attachments:
MIME accepted, Word deprecated
http://www.gnu.org/philosophy/no-word-attachments.html
------------------------------------------------------------------
Office location:
Bureau 320 (3rd floor)
Batiment Sophie Germain
Avenue de France
Metro Bibliotheque Francois Mitterrand, ligne 14/RER C
-----------------------------------------------------------------
GPG fingerprint 2931 20CE 3A5A 5390 98EC 8BFC FCCA C3BE 39CB 12D3
--
Roberto Di Cosmo
------------------------------------------------------------------
Professeur En delegation a l'INRIA
PPS E-mail: roberto@dicosmo.org
Universite Paris Diderot WWW : http://www.dicosmo.org
Case 7014 Tel : ++33-(0)1-57 27 92 20
5, Rue Thomas Mann
F-75205 Paris Cedex 13 Identica: http://identi.ca/rdicosmo
FRANCE. Twitter: http://twitter.com/rdicosmo
------------------------------------------------------------------
Attachments:
MIME accepted, Word deprecated
http://www.gnu.org/philosophy/no-word-attachments.html
------------------------------------------------------------------
Office location:
Bureau 320 (3rd floor)
Batiment Sophie Germain
Avenue de France
Metro Bibliotheque Francois Mitterrand, ligne 14/RER C
-----------------------------------------------------------------
GPG fingerprint 2931 20CE 3A5A 5390 98EC 8BFC FCCA C3BE 39CB 12D3
Reply to: