From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <info@gerd-stolpmann.de>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by sympa.inria.fr (Postfix) with ESMTPS id 2417E7EE56
	for <caml-list@sympa.inria.fr>; Fri,  7 Dec 2012 03:00:50 +0100 (CET)
Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  info@gerd-stolpmann.de) identity=pra;
  client-ip=212.227.17.10;
  receiver=mail1-smtp-roc.national.inria.fr;
  envelope-from="info@gerd-stolpmann.de";
  x-sender="info@gerd-stolpmann.de";
  x-conformance=sidf_compatible
Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  info@gerd-stolpmann.de) identity=mailfrom;
  client-ip=212.227.17.10;
  receiver=mail1-smtp-roc.national.inria.fr;
  envelope-from="info@gerd-stolpmann.de";
  x-sender="info@gerd-stolpmann.de";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of
  postmaster@moutng.kundenserver.de designates 212.227.17.10 as
  permitted sender) identity=helo; client-ip=212.227.17.10;
  receiver=mail1-smtp-roc.national.inria.fr;
  envelope-from="info@gerd-stolpmann.de";
  x-sender="postmaster@moutng.kundenserver.de";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: As8AAIZLwVDU4xEKk2dsb2JhbABEvjUWDgEBAQEJCQsJFAMkgl+BD00iEgmICwjCZhSQaAONYok9kh8
X-IronPort-AV: E=Sophos;i="4.84,234,1355094000"; 
   d="scan'208";a="185016712"
Received: from moutng.kundenserver.de ([212.227.17.10])
  by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 07 Dec 2012 03:00:49 +0100
Received: from office1.lan.sumadev.de (dslb-188-097-008-207.pools.arcor-ip.net [188.97.8.207])
	by mrelayeu.kundenserver.de (node=mrbap0) with ESMTP (Nemesis)
	id 0LqWEj-1TBsCf4Ay1-00dtXP; Fri, 07 Dec 2012 03:00:49 +0100
Received: from samsung (ip-5-146-55-186.unitymediagroup.de [5.146.55.186])
	by office1.lan.sumadev.de (Postfix) with ESMTPSA id 8D377C00D0;
	Fri,  7 Dec 2012 03:00:48 +0100 (CET)
Date: Fri, 07 Dec 2012 03:00:47 +0100
From: Gerd Stolpmann <info@gerd-stolpmann.de>
To: godi-list@ocaml-programming.de, caml-list@inria.fr
X-Mailer: Balsa 2.4.11
Message-Id: <1354845647.3169.30@samsung>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii; DelSp=Yes; Format=Flowed
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
X-Provags-ID: V02:K0:adNpotEkeBaJ73Eak8jjBDDazhxbBSEKHJToWRKGeM0
 Y1DDIQPrb/6BDqnmFJ+04ioyLJJ/uDDkNMIi3LzQtb4SJ7DJMx
 AkdQ22Y0kp/9EJXDkxmjJqAghRDfHhmpcd0Un19uhwjD1nnI/u
 ZpRURWClOutAFPqvWbGygMceT5utG4ocy7FUrTbOlTm6WcZu8W
 2AgRej3e1uG8Rt9FsrFEJ/r9XhZAD8T1Lrb3LqBLbmFIl/rzfa
 H3HA65Z/iK6CHfHyMspGK+EClqPWG5rIQvlxz2psfqcwkPF/Cq
 UTL50hWE3/as/icPUZmjJ+cy8tvGxEFxnGxsmsZW0yKneVzlBb
 7Qpr5FeHv1GaHb3N9zQY=
Subject: [Caml-list] GODI imports OASIS

Hi list,

the GODI project has now set up an experimental OASIS-DB import. This=20=20
means that packages submitted to OASIS-DB appear as normal GODI=20=20
packages in godi_console, and can be managed in the normal way.

We are now importing nightly into a separate repository that needs to=20=20
be activated. Find the instructions (and a number of FAQ) here:

http://godi.camlcity.org/godi/oasis.html

Remember that OASIS packages are not QA-checked, and as a result many=20=20
packages still fail to build. This often has trivial reasons (like that=20=
=20
the build is ok, but the documentation fails). I hope to hear your=20=20
comments on this.

Also, any comment on user experience is very welcome.

Gerd
--=20
------------------------------------------------------------
Gerd Stolpmann, Darmstadt, Germany    gerd@gerd-stolpmann.de
Creator of GODI and camlcity.org.
Contact details:        http://www.camlcity.org/contact.html
Company homepage:       http://www.gerd-stolpmann.de
------------------------------------------------------------=