---------- Forwarded message ---------- From: Roberto Di Cosmo <[email protected]> Date: 2014-10-17 19:09 GMT+02:00 Subject: Re: [Caml-list] Troubles with OPAM To: Török Edwin <[email protected]> Cc : Louis Gesbert <[email protected]>, Mehdi Dogguy <[email protected]>
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, [email protected] and Mehdi on this 2014-10-17 19:02 GMT+02:00 Török Edwin <[email protected]>: > 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: [email protected] 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: [email protected] 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 -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: https://lists.debian.org/cajbwkuwtyx6hnmfwvq4ozag8wdtu7wyvxzecppckqsfmva7...@mail.gmail.com
