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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 97EE27EF28 for ; Fri, 26 Jun 2015 22:51:01 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of raould@gmail.com) identity=pra; client-ip=209.85.214.173; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="raould@gmail.com"; x-sender="raould@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of raould@gmail.com designates 209.85.214.173 as permitted sender) identity=mailfrom; client-ip=209.85.214.173; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="raould@gmail.com"; x-sender="raould@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ob0-f173.google.com) identity=helo; client-ip=209.85.214.173; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="raould@gmail.com"; x-sender="postmaster@mail-ob0-f173.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0C3BADMuo1VlK3WVdFbhEQGgxipQIYPk1oHTAEBAQEBARIBAQEBBwsLCR8wQQODdxEdARseAxIQDwImAiQBEQEFASI1h3cBAxKpMoMxPjGLP4FrgnmKZwoZJw1XhUMBBQ6BE5IegUMFjQCHBItSlm0SI4EVF4QpHjGCSAEBAQ X-IPAS-Result: A0C3BADMuo1VlK3WVdFbhEQGgxipQIYPk1oHTAEBAQEBARIBAQEBBwsLCR8wQQODdxEdARseAxIQDwImAiQBEQEFASI1h3cBAxKpMoMxPjGLP4FrgnmKZwoZJw1XhUMBBQ6BE5IegUMFjQCHBItSlm0SI4EVF4QpHjGCSAEBAQ X-IronPort-AV: E=Sophos;i="5.13,686,1427752800"; d="scan'208";a="138021654" Received: from mail-ob0-f173.google.com ([209.85.214.173]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 26 Jun 2015 22:51:00 +0200 Received: by obbop1 with SMTP id op1so74047611obb.2 for ; Fri, 26 Jun 2015 13:50:59 -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=wblGb9EllqX6eIXiI7uAbTtk0JBpm4MPpCyeW9eLuZY=; b=DmFoxW4fBl+BvlmUmE4xAUHzQpaE4cEU8MRAvPnk+TE2zyZBxaYPhRuMkIHET7rnLR Uz+8BgwuRtJH3+B1Xv/AD/OMgMy0uw64uvpvqFVCgMSKnQSPlA/C2l+udH5IOjC0pUKE CF9NWE4dJPx6zFihcQTX/EwSa3HlNuR5+wAlZozWvBZkgD4G0a9MjiVioYACTseh/XW2 GjMtzOmUTdIu2tnfYTUs+89znrOZaCEt/4qTsjdsD/11yjNkrvEv9LscV7JwGAoXf25a OGHOTA38NY0P7C7NtCSN3Gyt7hiMFgVtHuhTzOQB9dyEVuVCnYA7WvK0HQqyn2MTwG2o 4hgw== MIME-Version: 1.0 X-Received: by 10.60.145.169 with SMTP id sv9mr78906oeb.69.1435351859195; Fri, 26 Jun 2015 13:50:59 -0700 (PDT) Received: by 10.182.226.168 with HTTP; Fri, 26 Jun 2015 13:50:59 -0700 (PDT) Date: Fri, 26 Jun 2015 13:50:59 -0700 Message-ID: From: Raoul Duke To: OCaml Content-Type: text/plain; charset=UTF-8 Subject: [Caml-list] jocaml? Hm, last updated 2014, but doesn't have sources on a "real" thing like bitbucket. :-) Anybody using it? In production? Seems good? Anybody contributing to it? thanks