From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id BC2F07EFCD for ; Fri, 17 Oct 2014 18:59:14 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of rdicosmo@gmail.com) identity=pra; client-ip=74.125.82.51; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="rdicosmo@gmail.com"; x-sender="rdicosmo@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of rdicosmo@gmail.com designates 74.125.82.51 as permitted sender) identity=mailfrom; client-ip=74.125.82.51; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="rdicosmo@gmail.com"; x-sender="rdicosmo@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wg0-f51.google.com) identity=helo; client-ip=74.125.82.51; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="rdicosmo@gmail.com"; x-sender="postmaster@mail-wg0-f51.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgcCALFJQVRKfVIzm2dsb2JhbABbg2FTBcJYiWqBXYcFFgERAQEBAQEGCwsJFC6EAwEBBBIoBgEUJAEDDAEFBRgJJQ8FDRMBBQEBIRMJGYgJAxEEAQMFrDlukDKJBicNhi0BAQEBBgIBGQEFDo4LgW+DeYEeBYYtkBmFAoIQgTE8jRpCA4RiQYFygz5qAYJKAQEB X-IPAS-Result: AgcCALFJQVRKfVIzm2dsb2JhbABbg2FTBcJYiWqBXYcFFgERAQEBAQEGCwsJFC6EAwEBBBIoBgEUJAEDDAEFBRgJJQ8FDRMBBQEBIRMJGYgJAxEEAQMFrDlukDKJBicNhi0BAQEBBgIBGQEFDo4LgW+DeYEeBYYtkBmFAoIQgTE8jRpCA4RiQYFygz5qAYJKAQEB X-IronPort-AV: E=Sophos;i="5.04,740,1406584800"; d="scan'208";a="101711993" Received: from mail-wg0-f51.google.com ([74.125.82.51]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 17 Oct 2014 18:59:14 +0200 Received: by mail-wg0-f51.google.com with SMTP id b13so1335943wgh.34 for ; Fri, 17 Oct 2014 09:59:13 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=sender:date:from:to:cc:subject:message-id:references:mime-version :content-type:content-disposition:in-reply-to:user-agent; bh=5ze+C4aur+jdUnzS8U64V88fD3IoEPY6ieysIhmiW5g=; b=C/yCDDE9bVApBUZM1xAXIJiB4OD5rFETT8xCyQ0/KPKsxZtWy692AjQPvq7fv2WCUd gFAvsQ3bvZ+tAzNhG/jSaHaUqG1+E1p3N4sdllYH1IkzZMH0SgB/mT1HWpAcqnDVUdAG 9XvLW7rbzHKjrPQg5c8t3DCHqS7+gnzmDM/HO9cBnNvkwuZtysI3hPahe9HZoK1cV9mg 85HK+pY+n4jV7gkJ4V0IIE3DMoZGYOTgO6mqfXT8/093DSeRkraLQoTepmkTaG4u79r4 UyfM9iv+48PZhd35BNvRWlvOHmOaTlTOt6q9uCDK0lwYqYZV1KGaOO47gXqPkb0JrFD4 9QBQ== X-Received: by 10.194.175.67 with SMTP id by3mr12072076wjc.32.1413565153756; Fri, 17 Oct 2014 09:59:13 -0700 (PDT) Received: from traveler (bny92-3-81-56-44-163.fbx.proxad.net. [81.56.44.163]) by mx.google.com with ESMTPSA id dw9sm141158wib.0.2014.10.17.09.59.12 for (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Fri, 17 Oct 2014 09:59:13 -0700 (PDT) Sender: Roberto Di Cosmo Received: from dicosmo by traveler with local (Exim 4.82_1-5b7a7c0-XX) (envelope-from ) id 1XfArv-0004N6-Q5; Fri, 17 Oct 2014 18:59:11 +0200 Date: Fri, 17 Oct 2014 18:59:11 +0200 From: Roberto Di Cosmo To: Xavier Van de Woestyne Cc: caml-list@inria.fr Message-ID: <20141017165911.GA16644@traveler> References: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.23 (2014-03-12) Subject: Re: [Caml-list] Troubles with OPAM Dear Xavier, I would suggest you open a ticket on https://github.com/ocaml/opam providing detailed informations on a run that you consider is going wrong (including opam version, the command line used, the CUDF dump obtained with --cudf etc.) As a quick suggestion, try anyhow just a simple apt-get install aspucd and see if anything changes. -- Roberto On Fri, Oct 17, 2014 at 06:42:35PM +0200, 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). > > Thanks a lot. > > Xavier. > > -- > Xavier Van de Woestyne > xavier.vdw@gmail.com - TEL BE : 0474 49 53 83 | TEL FR : 06 73 38 72 84 -- 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 3020 (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