From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 8CEAD7F75C for ; Wed, 27 Aug 2014 09:18:38 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of martindemello@gmail.com) identity=pra; client-ip=209.85.160.179; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="martindemello@gmail.com"; x-sender="martindemello@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of martindemello@gmail.com designates 209.85.160.179 as permitted sender) identity=mailfrom; client-ip=209.85.160.179; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="martindemello@gmail.com"; x-sender="martindemello@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-yk0-f179.google.com) identity=helo; client-ip=209.85.160.179; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="martindemello@gmail.com"; x-sender="postmaster@mail-yk0-f179.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkYBALyF/VPRVaCzlGdsb2JhbABahDcEgnjSPQgWEAEBAQEHCwsJEiuEHBEdARseAxIJBzcCJAERAQUBIjWICwEDEZtsgxlriyuBcoMQiSoKGScNZoRZEQEFDpF9DzISgUEFiyqRLpMlGCmFLx0vgk8BAQE X-IPAS-Result: AkYBALyF/VPRVaCzlGdsb2JhbABahDcEgnjSPQgWEAEBAQEHCwsJEiuEHBEdARseAxIJBzcCJAERAQUBIjWICwEDEZtsgxlriyuBcoMQiSoKGScNZoRZEQEFDpF9DzISgUEFiyqRLpMlGCmFLx0vgk8BAQE X-IronPort-AV: E=Sophos;i="5.04,409,1406584800"; d="scan'208";a="91624518" Received: from mail-yk0-f179.google.com ([209.85.160.179]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 27 Aug 2014 09:18:37 +0200 Received: by mail-yk0-f179.google.com with SMTP id 142so12505309ykq.38 for ; Wed, 27 Aug 2014 00:18:36 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:date:message-id:subject:from:to:content-type; bh=j9xdCE20LJTfALFIaZIVtr2gT9wnJSG3cH1WFhW+Hbk=; b=qOkFLvflDuMlOHjJIuKePWouz+6vn89S8L9cbbKPiNDHNHmyekJrUxhFml7+pRt1Nk glOJDfpg2r18AldvX3+qcE+IHN0askpXwNGvUPxyOvxgw+6eVmbXlBn6bIh1IHjjG+nc 408qwZtNe+jCZKsQ5sI4W4r78JkTt7Z28ZapKLWIo6Eo4kZkEKahWAMlfda1OcFPh2Qa J5biajdgPRNaXa+9YerbFqFa541uHXOYKVp9sp7p02qk19c/K3RRaYOfYANy7PvAdHuh k6KtjAJp4Iz08DO/ZNMvYiGwSPJ49x5VpiW16idHUP0KSKcvVN0GJbMAv2GtwNWDJFCe N9gA== MIME-Version: 1.0 X-Received: by 10.221.6.201 with SMTP id ol9mr27356200vcb.2.1409123916430; Wed, 27 Aug 2014 00:18:36 -0700 (PDT) Received: by 10.220.3.78 with HTTP; Wed, 27 Aug 2014 00:18:36 -0700 (PDT) Date: Wed, 27 Aug 2014 00:18:36 -0700 Message-ID: From: Martin DeMello To: OCaml List Content-Type: multipart/alternative; boundary=089e0122a3f07bc1c20501973a24 Subject: [Caml-list] is this an opam bug or something i'm doing wrong? --089e0122a3f07bc1c20501973a24 Content-Type: text/plain; charset=UTF-8 I installed opam from a fresh start (reinstalled opam itself, deleted my .opam), ran "opam switch 4.01.0", and then tried to install ocp-indent, which installed version 0.1.0. So I tried opam upgrade, which wanted to install 0.6.1 even though there are later versions available: $ opam upgrade The following actions will be performed: - upgrade ocp-indent.0.1.0 to 0.6.1 0 to install | 0 to reinstall | 1 to upgrade | 0 to downgrade | 0 to remove =-=-= Removing Packages =-=-= Removing ocp-indent.0.1.0. ./configure --prefix=/home/martin/.opam/4.01.0 make uninstall =-=-= Installing ocp-indent.0.6.1 =-=-= ..... $ opam install ocp-indent [NOTE] Package ocp-indent is already installed (current version is 0.6.1). $ opam install ocp-indent.1.4.1 The following actions will be performed: - install ocamlfind.1.5.2 [required by ocp-indent] - install cmdliner.0.9.5 [required by ocp-indent] - install typerex.1.99.6-beta [required by ocp-indent] - install ocp-build.1.99.6-beta [required by ocp-indent] - upgrade ocp-indent.0.6.1 to 1.4.1 4 to install | 0 to reinstall | 1 to upgrade | 0 to downgrade | 0 to remove Do you want to continue ? [Y/n] y --089e0122a3f07bc1c20501973a24 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
I installed opam from a fresh start (reinstalled= opam itself, deleted my .opam), ran "opam switch 4.01.0", and th= en tried to install ocp-indent, which installed version 0.1.0. So I tried o= pam upgrade, which wanted to install 0.6.1 even though there are later vers= ions available:

$ opam upgrade
The following actions wi= ll be performed:
=C2=A0- upgrade ocp-indent.0.1.0 to 0.6.1
<= div>0 to install | 0 to reinstall | 1 to upgrade | 0 to downgrade | 0 to re= move

=3D-=3D-=3D Removing Packages =3D-=3D-=3D
Rem= oving ocp-indent.0.1.0.
=C2=A0 ./configure --prefix=3D/home/marti= n/.opam/4.01.0
=C2=A0 make uninstall

=3D= -=3D-=3D Installing ocp-indent.0.6.1 =3D-=3D-=3D

.....

$ opam install= ocp-indent
[NOTE] Package ocp-indent is already installed (c= urrent version is 0.6.1).

$ opam install ocp-inden= t.1.4.1
The following actions will be performed:
=C2=A0- install oca= mlfind.1.5.2 [required by ocp-indent]
=C2=A0- install cmdliner.0.= 9.5 [required by ocp-indent]
=C2=A0- install typerex.1.99.6-beta = [required by ocp-indent]
=C2=A0- install ocp-build.1.99.6-beta [required by ocp-indent]
=C2=A0- upgrade ocp-indent.0.6.1 to 1.4.1
4 to install | 0 to = reinstall | 1 to upgrade | 0 to downgrade | 0 to remove
Do you wa= nt to continue ? [Y/n] y

--089e0122a3f07bc1c20501973a24--