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 80BAC7EC6E for ; Thu, 19 Dec 2013 11:44:46 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of jdimino@janestreet.com) identity=pra; client-ip=38.105.200.229; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="jdimino@janestreet.com"; x-sender="jdimino@janestreet.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of jdimino@janestreet.com designates 38.105.200.229 as permitted sender) identity=mailfrom; client-ip=38.105.200.229; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="jdimino@janestreet.com"; x-sender="jdimino@janestreet.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@tot-dmz-mxout1.janestreet.com) identity=helo; client-ip=38.105.200.229; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="jdimino@janestreet.com"; x-sender="postmaster@tot-dmz-mxout1.janestreet.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Am4BAK3NslImacjlnGdsb2JhbABZg0NVuSqBDB4OAQEBAQEGFgk8ghxQAQE4HQEHXRIBBQEiLIdrAwKke4sRhFIBBZVNEQIEjk1BhEGYGpAnGCmEVw X-IPAS-Result: Am4BAK3NslImacjlnGdsb2JhbABZg0NVuSqBDB4OAQEBAQEGFgk8ghxQAQE4HQEHXRIBBQEiLIdrAwKke4sRhFIBBZVNEQIEjk1BhEGYGpAnGCmEVw X-IronPort-AV: E=Sophos;i="4.95,512,1384297200"; d="scan'208";a="49687709" Received: from mx5.janestreet.com (HELO tot-dmz-mxout1.janestreet.com) ([38.105.200.229]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 19 Dec 2013 11:44:45 +0100 Received: from tot-oib-smtp1.delacy.com ([172.27.22.15] helo=tot-smtp) by tot-dmz-mxout1.janestreet.com with esmtp (Exim 4.76) (envelope-from ) id 1Vtb5v-0005DT-SN for caml-list@inria.fr; Thu, 19 Dec 2013 05:44:43 -0500 Received: from tot-dmz-mxgoog1.delacy.com ([172.27.224.14] helo=mxgoog2.janestreet.com) by tot-smtp with esmtps (TLSv1:AES256-SHA:256) (Exim 4.72) (envelope-from ) id 1Vtb5v-0000xh-RW for caml-list@inria.fr; Thu, 19 Dec 2013 05:44:43 -0500 Received: from mail-ig0-f176.google.com ([209.85.213.176]) by mxgoog2.janestreet.com with esmtp (Exim 4.76) (envelope-from ) id 1Vtb5v-00013f-OW for caml-list@inria.fr; Thu, 19 Dec 2013 05:44:43 -0500 Received: by mail-ig0-f176.google.com with SMTP id k19so11622080igc.3 for ; Thu, 19 Dec 2013 02:44:43 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=janestreet.com; s=google; h=mime-version:date:message-id:subject:from:to:content-type; bh=WT/3cw10LslU3KZXxxadyDuRcdamQTFF+15L382RIrM=; b=hKYWbRYYA9yQYRgN0zGwSUP4kbiTRTg7ImoXAqH2yDgs/heEpcyGipv9QVYoVk2Aal 3FMFtSHSdd5wSmSZKnKm1/7Jcm/yXJ7i6cNKNOqomO3cBKn9eHWiuUQYJiEWv7sr06J1 KpFACGeKQz2AQJ7m8m0inotrUITRwDFOclmiw= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:date:message-id:subject:from:to :content-type; bh=WT/3cw10LslU3KZXxxadyDuRcdamQTFF+15L382RIrM=; b=L07IDwDCBmQWJkLhKtnuEB2i1+4WMD5ZuqalrtKOIvwy35UY3l8HYS1p0KxN8df+BH o5F2D3DtGKTApNT6a+DmRb/daHEnMd43coHVDpyqwQHSp3Zn2khGdRF0VPYWGtHjE4Ah k8lt4DGKvLqGOz4/8qwcRdBWZM1o656yNUbexTsje6cdOM5sNFn/98So6xuZZglI86EC fKn9mlcPRdvFs6NNxxY4mozfXby0BNT2XGDIY+xCSour3KXNNCtXjauvpFge8D3sWRr/ Zs97q9LioTx0gcbiWrtTzN5fSyXzbvE7o/NCsmCI4c1rt2K+tgxUU2ZRLoVPZpKAbls6 9q0g== X-Gm-Message-State: ALoCoQlyIr1eVm/gwxjzHEg/y7/gzGmS35Pfk8nAqVQaea8IfQDluqmDXdclGf7jKnxkdaCEpCNWyxP6jPOHU2ErTtZHxS7g0LSrWHarH5XzeBQrix8hZFMWMQ5GLduampw6RAi+SSOExTWfBzCa5xTKci90WmhFEA== X-Received: by 10.50.79.228 with SMTP id m4mr1896675igx.47.1387449883447; Thu, 19 Dec 2013 02:44:43 -0800 (PST) MIME-Version: 1.0 X-Received: by 10.50.79.228 with SMTP id m4mr1896671igx.47.1387449883324; Thu, 19 Dec 2013 02:44:43 -0800 (PST) Received: by 10.50.170.40 with HTTP; Thu, 19 Dec 2013 02:44:43 -0800 (PST) Date: Thu, 19 Dec 2013 10:44:43 +0000 Message-ID: From: Jeremie Dimino To: "caml-list@inria.fr" Content-Type: multipart/alternative; boundary=089e013a1f1670da8604ede0d932 Subject: [Caml-list] Camlp4 on github --089e013a1f1670da8604ede0d932 Content-Type: text/plain; charset=ISO-8859-1 Hi, As you may have noticed, a few weeks ago the camlp4 folder disappeared from the subversion repository of OCaml. Since there was no technical reason to keep Camlp4 in the official distribution and it was making work on the compiler harder than necessary, It was decided to make it an external project. Camlp4 then started his second life on github. The official repository is at this address: https://github.com/ocaml/camlp4 New bug reports should go there. We can keep using the mantis bug tracker for existing tickets, though it would be better if people could move their tickets to github. Regards, -- Jeremie --089e013a1f1670da8604ede0d932 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
Hi,

As you may have noticed, a few week= s ago the camlp4 folder disappeared from the subversion repository of OCaml= . Since there was no technical reason to keep Camlp4 in the official distri= bution
and it was making work on the compiler harder than necessary, It was d= ecided to make it an external project.

Camlp4 then= started his second life on github. The official repository is at this addr= ess:


New bug reports should go there. We can keep using the mantis bug tracker= for existing tickets, though it would be better if people could move their= tickets to github.

Regards,

--=A0
Jeremie
--089e013a1f1670da8604ede0d932--