From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.4 required=5.0 tests=DNS_FROM_RFC_POST, HTML_MESSAGE autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 8B0ABBC37 for ; Sat, 16 May 2009 16:59:02 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArAUAFdxDkpQDPKXWmdsb2JhbAATBIIOLZR4ARYICwgQBZRMhWOeMoQBBQ X-IronPort-AV: E=Sophos;i="4.38,431,1233529200"; d="asc'?scan'208,217";a="29434867" Received: from smtp2f.orange.fr ([80.12.242.151]) by mail1-smtp-roc.national.inria.fr with ESMTP; 16 May 2009 16:59:02 +0200 Received: from me-wanadoo.net (localhost [127.0.0.1]) by mwinf2f06.orange.fr (SMTP Server) with ESMTP id 3BEA48000054 for ; Sat, 16 May 2009 16:59:02 +0200 (CEST) Received: from [192.168.1.2] (LAubervilliers-153-53-1-14.w217-128.abo.wanadoo.fr [217.128.128.14]) by mwinf2f06.orange.fr (SMTP Server) with ESMTP id 09992800004E for ; Sat, 16 May 2009 16:59:01 +0200 (CEST) X-ME-UUID: 20090516145902394.09992800004E@mwinf2f06.orange.fr Subject: Git-binding for OCAML. From: Serge Leblanc To: caml-list@yquem.inria.fr Content-Type: multipart/signed; micalg="pgp-sha1"; protocol="application/pgp-signature"; boundary="=-tn8u3kmFPJajkb+f+PKr" Date: Sat, 16 May 2009 16:59:00 +0200 Message-Id: <1242485940.4380.96.camel@serge2> Mime-Version: 1.0 X-Mailer: Evolution 2.26.1 X-Spam: no; 0.00; ocaml:01 ocaml:01 gpg:01 3324:01 gpg:01 3324:01 ubuntu:98 ubuntu:98 333399:98 333399:98 leblanc:02 leblanc:02 serge:05 serge:05 fingerprint:05 X-Attachments: cset="utf-8" type="application/pgp-signature" name="signature.asc" --=-tn8u3kmFPJajkb+f+PKr Content-Type: multipart/alternative; boundary="=-YQvV6dNbaOC6dBuYLQXk" --=-YQvV6dNbaOC6dBuYLQXk Content-Type: text/plain Content-Transfer-Encoding: quoted-printable Hi, Does some of you, already working on a Git-binding for OCaml? -- Serge Leblanc gpg --keyserver hkp://keyserver.ubuntu.com:11371 --recv-keys 0x33243C1B Fingerprint =3D 066C 005F 5595 D85C 7673 D969 1DD4 90C4 3324 3C1B --=-YQvV6dNbaOC6dBuYLQXk Content-Type: text/html; charset="utf-8" Content-Transfer-Encoding: quoted-printable Hi,
Does some of you, already working on a Git-binding for OCaml?

--
Serge Leblanc
gpg --keyserver hkp://keyserver.ubuntu.com:11= 371 --recv-keys 0x33243C1B
Fingerprint =3D 066C 005F 5595 D85C 7673 D969= 1DD4 90C4 3324 3C1B

--=-YQvV6dNbaOC6dBuYLQXk-- --=-tn8u3kmFPJajkb+f+PKr Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (GNU/Linux) iEYEABECAAYFAkoO1K4ACgkQHdSQxDMkPBva+ACffm7ZT6/KyGDJgB/ZU79wBq49 O7gAn3XsF82S2dJq9EcDFUW0mtZDeJj+ =vPQq -----END PGP SIGNATURE----- --=-tn8u3kmFPJajkb+f+PKr-- From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.9 required=5.0 tests=AWL,DNS_FROM_RFC_POST, SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id A11CEBC37 for ; Sun, 17 May 2009 04:26:00 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgICAFsSD0pKfSweimdsb2JhbACXFD8BAQEKCQwHDwWmcoETjygBAwEDg34F X-IronPort-AV: E=Sophos;i="4.41,206,1241388000"; d="scan'208";a="27856608" Received: from yx-out-2324.google.com ([74.125.44.30]) by mail3-smtp-sop.national.inria.fr with ESMTP; 17 May 2009 04:26:00 +0200 Received: by yx-out-2324.google.com with SMTP id 8so1498218yxg.3 for ; Sat, 16 May 2009 19:25:59 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from :user-agent:mime-version:to:cc:subject:references:in-reply-to :content-type:content-transfer-encoding; bh=WO43hCMXtx+hiod1sqriXElp2DVdlfnhb+yjSEwhTlg=; b=qKVeHhauzoX01XGkYsbQ7LIc1NVwoDXx/5j4CvnHCtL5mSr2tutG0n8Eb+JNLetaaU dWJTt1nFAAI4kOGx5FGsE/KYuMzqDqrCfF22weiQO4QUOfiN/UpjFDrsBssPxJDswnhF jbte5ReC3Qs9BkSkMXG3bDjyYnY3gra9f5YfQ= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:user-agent:mime-version:to:cc:subject :references:in-reply-to:content-type:content-transfer-encoding; b=iwTdnvfhVn4rMFn3AiZDYoP7GuPJM6cpWYySF2/Ykw5zNKTFXAnt9S4Z0Y8YmTyhmd iJlFP35C2BNN7TaS28jiVVmvotGG6+ewExbR8rIi1QKDq8F3ug8+C4hbU8vWjiue33VB X9wTv8ej+yh4aOSH1GR7ulCQCRKcUEUHO3TVs= Received: by 10.151.47.13 with SMTP id z13mr9307197ybj.267.1242527158970; Sat, 16 May 2009 19:25:58 -0700 (PDT) Received: from ?192.168.0.11? (adsl-69-154-216-28.dsl.stlsmo.swbell.net [69.154.216.28]) by mx.google.com with ESMTPS id 6sm3806955ywc.41.2009.05.16.19.25.57 (version=TLSv1/SSLv3 cipher=RC4-MD5); Sat, 16 May 2009 19:25:57 -0700 (PDT) Message-ID: <4A0F75B3.5070307@gmail.com> Date: Sat, 16 May 2009 21:25:55 -0500 From: Edgar Friendly User-Agent: Thunderbird 2.0.0.21 (X11/20090409) MIME-Version: 1.0 To: Serge Leblanc Cc: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Git-binding for OCAML. References: <1242485940.4380.96.camel@serge2> In-Reply-To: <1242485940.4380.96.camel@serge2> Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; ocaml:01 ocaml:01 edgar:98 git:98 git:98 porcelain:98 wrote:01 caml-list:01 leblanc:02 repository:03 manipulate:04 shell:04 serge:05 quite:08 but:14 Serge Leblanc wrote: > Hi, > Does some of you, already working on a Git-binding for OCaml? What would you want it to do. I got started on a git *implementation* in OCaml, but never got far. If you just wanted to manipulate a git repository programatically using ocaml code, it'd be a fair implementation to just shell out to the porcelain - it's quite complete in terms of what it can do. E. From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.8 required=5.0 tests=AWL,SPF_FAIL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 463FDBBAF for ; Sun, 17 May 2009 13:28:23 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ak0EACGSD0pQRFuwWWdsb2JhbACXSwEWFQS4AYQBBQ X-IronPort-AV: E=Sophos;i="4.41,207,1241388000"; d="scan'208";a="27865496" Received: from furbychan.cocan.org ([80.68.91.176]) by mail3-smtp-sop.national.inria.fr with ESMTP; 17 May 2009 13:28:16 +0200 Received: from rich by furbychan.cocan.org with local (Exim 4.63) (envelope-from ) id 1M5eXO-0002Kp-OB; Sun, 17 May 2009 12:28:14 +0100 Date: Sun, 17 May 2009 12:28:14 +0100 To: Serge Leblanc Cc: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Git-binding for OCAML. Message-ID: <20090517112814.GA8806@annexia.org> References: <1242485940.4380.96.camel@serge2> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <1242485940.4380.96.camel@serge2> User-Agent: Mutt/1.5.13 (2006-08-11) From: Richard Jones X-Spam: no; 0.00; ocaml:01 0200,:01 ocaml:01 bindings:01 2009:98 git:98 git:98 wrote:01 caml-list:01 leblanc:02 api:02 programming:03 serge:05 red:92 red:92 On Sat, May 16, 2009 at 04:59:00PM +0200, Serge Leblanc wrote: > Does some of you, already working on a Git-binding for OCaml? I wasn't even aware that Git had programming API bindings. Do you mean is anyone using Git for version control of OCaml software? (Ans: yes, Red Hat has a fair bit of OCaml code managed under both Mercurial and Git). Rich. -- Richard Jones Red Hat From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.4 required=5.0 tests=DNS_FROM_RFC_POST, HTML_MESSAGE autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id DD07DBBAF for ; Wed, 20 May 2009 14:50:38 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhAEANCZE0pQDPJwgWdsb2JhbACCIjCVFAEBCwkKBxMDtkWECAU X-IronPort-AV: E=Sophos;i="4.41,221,1241388000"; d="asc'?scan'208,217";a="40287817" Received: from smtp2e.orange.fr ([80.12.242.112]) by mail4-smtp-sop.national.inria.fr with ESMTP; 20 May 2009 14:49:59 +0200 Received: from me-wanadoo.net (localhost [127.0.0.1]) by mwinf2e07.orange.fr (SMTP Server) with ESMTP id 0C43980000A2; Wed, 20 May 2009 14:49:59 +0200 (CEST) Received: from [192.168.1.2] (LAubervilliers-153-53-1-14.w217-128.abo.wanadoo.fr [217.128.128.14]) by mwinf2e07.orange.fr (SMTP Server) with ESMTP id C10DF800009F; Wed, 20 May 2009 14:49:58 +0200 (CEST) X-ME-UUID: 20090520124958790.C10DF800009F@mwinf2e07.orange.fr Subject: Re: [Caml-list] Git-binding for OCAML. From: Serge Leblanc To: caml-list@yquem.inria.fr Cc: Edgar Friendly In-Reply-To: <4A0F75B3.5070307@gmail.com> References: <1242485940.4380.96.camel@serge2> <4A0F75B3.5070307@gmail.com> Content-Type: multipart/signed; micalg="pgp-sha1"; protocol="application/pgp-signature"; boundary="=-dKf8sD9mamXqrgkmnCYh" Date: Wed, 20 May 2009 14:49:57 +0200 Message-Id: <1242823797.4866.39.camel@serge2> Mime-Version: 1.0 X-Mailer: Evolution 2.26.1 X-Spam: no; 0.01; ocaml:01 ocaml:01 wiki:01 gpg:01 3324:01 wiki:01 gpg:01 3324:01 2009:98 edgar:98 git:98 git:98 porcelain:98 ubuntu:98 2009:98 X-Attachments: cset="utf-8" type="application/pgp-signature" name="signature.asc" --=-dKf8sD9mamXqrgkmnCYh Content-Type: multipart/alternative; boundary="=-xNHlxCyJHs18s6eVBq0V" --=-xNHlxCyJHs18s6eVBq0V Content-Type: text/plain Content-Transfer-Encoding: quoted-printable On Sat, 2009-05-16 at 21:25 -0500, Edgar Friendly wrote:=20 > Serge Leblanc wrote: > > Hi, > > Does some of you, already working on a Git-binding for OCaml? >=20 > What would you want it to do. I got started on a git *implementation* > in OCaml, but never got far. If you just wanted to manipulate a git > repository programatically using ocaml code, it'd be a fair > implementation to just shell out to the porcelain - it's quite complete > in terms of what it can do. >=20 > E. Currently, I realize a website such as Wiki Ocsigen. The main task of the site consists of a version management of translations of pages of it. I thought about using Git, but actually I need only the main features of a version management. Do you have an address where I can download your code?=20 Kore dankon, -- Serge Leblanc gpg --keyserver hkp://keyserver.ubuntu.com:11371 --recv-keys 0x33243C1B Fingerprint =3D 066C 005F 5595 D85C 7673 D969 1DD4 90C4 3324 3C1B --=-xNHlxCyJHs18s6eVBq0V Content-Type: text/html; charset="utf-8" Content-Transfer-Encoding: quoted-printable On Sat, 2009-05-16 at 21:25 -0500, Edgar Friendly wrote:=20

Serge Leblanc wrote:
> Hi,
> Does some of you, already working on a Git-binding for OCaml?

What would you want it to do.  I got started on a git *implementation*
in OCaml, but never got far.  If you just wanted to manipulate a git
repository programatically using ocaml code, it'd be a fair
implementation to just shell out to the porcelain - it's quite complete
in terms of what it can do.

E.

Currently, I realize a website such as Wiki Ocsigen. The main task of the s= ite consists of a version management of translations of pages of it.
I thought about using Git, but actually I need only the main features of a = version management.

Do you have an address where I can download your code?

Kore dankon,

--
Serge Leblanc
gpg --keyserver hkp://keyserver.ubuntu.com:11= 371 --recv-keys 0x33243C1B
Fingerprint =3D 066C 005F 5595 D85C 7673 D969= 1DD4 90C4 3324 3C1B

--=-xNHlxCyJHs18s6eVBq0V-- --=-dKf8sD9mamXqrgkmnCYh Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (GNU/Linux) iEYEABECAAYFAkoT/G4ACgkQHdSQxDMkPBv32ACfePm/Ce4rLvO1MT2+T5t1kIv5 7OcAn0ENF3Bkhpqpq/c6SQk/ntbd5uuc =jvOQ -----END PGP SIGNATURE----- --=-dKf8sD9mamXqrgkmnCYh--