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 343957EE51 for ; Mon, 27 May 2013 15:25:59 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of lambda.q.q@gmail.com) identity=pra; client-ip=209.85.217.174; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="lambda.q.q@gmail.com"; x-sender="lambda.q.q@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of lambda.q.q@gmail.com designates 209.85.217.174 as permitted sender) identity=mailfrom; client-ip=209.85.217.174; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="lambda.q.q@gmail.com"; x-sender="lambda.q.q@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-lb0-f174.google.com) identity=helo; client-ip=209.85.217.174; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="lambda.q.q@gmail.com"; x-sender="postmaster@mail-lb0-f174.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArIBALNdo1HRVdmum2dsb2JhbABahizAFRYOAQEBAQEGCwsJFCiCZAYBOQMNBSY0ASQBBQGIMAMPBJ1UgnmPPIRKJw2IZAEFDI1JgWWDPgOJGY4iihuFQD+BXYJd X-IPAS-Result: ArIBALNdo1HRVdmum2dsb2JhbABahizAFRYOAQEBAQEGCwsJFCiCZAYBOQMNBSY0ASQBBQGIMAMPBJ1UgnmPPIRKJw2IZAEFDI1JgWWDPgOJGY4iihuFQD+BXYJd X-IronPort-AV: E=Sophos;i="4.87,751,1363129200"; d="scan'208";a="19137189" Received: from mail-lb0-f174.google.com ([209.85.217.174]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 27 May 2013 15:25:58 +0200 Received: by mail-lb0-f174.google.com with SMTP id u10so6747145lbi.19 for ; Mon, 27 May 2013 06:25:58 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=sender:from:to:subject:date:message-id:mime-version:content-type; bh=kFOCY4SChJzT01SqNMb2xHws2BJ8WbmR2vPUqyvpVaA=; b=dZcdbQ86whuBaHEC1FPrKS+b8RamWDTEHh4VuzjkzvFF5lZSqGn9WyxxMUunvBt2NP Rf80IpanqmDAXpndzxM+UyctvmBJnZSkV6/ESck8dWrQjk6tdYCZM9RXY7JmQOa1z1C4 ywTMoSBRSqslfx7usl2RiR8RPLs81h4K3MFmdhDbwO4w91nWKVlnzMMQxjpagMHUTQXB eQXeKtu9IP7UBA/MN8hfEdV4Fx+HMWNUiEJGXYN2k7YD6qwIgjliRwD5P3m0b5M6b2kf SpszDCcjBXU3nt7Aa2IUOSUxloMk9tUhJxIfcrd/gzrh23dK/+MGq1Pa4y42LUqYoudK +p8A== X-Received: by 10.112.167.229 with SMTP id zr5mr14252563lbb.7.1369661158088; Mon, 27 May 2013 06:25:58 -0700 (PDT) Received: from golf.niidar.ru.niidar.ru ([109.188.125.196]) by mx.google.com with ESMTPSA id w8sm11971788laz.0.2013.05.27.06.25.55 for (version=TLSv1.1 cipher=RC4-SHA bits=128/128); Mon, 27 May 2013 06:25:57 -0700 (PDT) Sender: Ivan Gotovchits From: Ivan Gotovchits To: caml-list@inria.fr Date: Mon, 27 May 2013 17:25:51 +0400 Message-ID: <87y5b04krk.fsf@golf.niidar.ru> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Subject: [Caml-list] OPAM: installing batteries pa_strings. It seems that I'm the only person in the Internet having such problem. I do $ opam install batteries $ find -name 'pa_string*' Nothing is found. Batteries says nothing bad when installing everything seems work ok, except that no pa_ modules are installed. Though batteries.cma and batteriesThread.cma are installed... What am I doing wrong? -- (__) (oo) /------\/ / | || * /\---/\ ~~ ~~ ...."Have you mooed today?"...