From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <info@gerd-stolpmann.de>
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 2C85A7EC6E
	for <caml-list@sympa.inria.fr>; Thu, 16 Jan 2014 13:04:43 +0100 (CET)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  info@gerd-stolpmann.de) identity=pra;
  client-ip=212.227.126.187;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="info@gerd-stolpmann.de";
  x-sender="info@gerd-stolpmann.de";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  info@gerd-stolpmann.de) identity=mailfrom;
  client-ip=212.227.126.187;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="info@gerd-stolpmann.de";
  x-sender="info@gerd-stolpmann.de";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of
  postmaster@moutng.kundenserver.de designates 212.227.126.187
  as permitted sender) identity=helo;
  client-ip=212.227.126.187;
  receiver=mail2-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: AjsEAC7K11LU4367lGdsb2JhbABZg0ODVIonrnQWDgEBAQEHCwsJEiqCTzKBAQJyCYd/CZhhjxGcAYk3hF2BCIIZDzGBSASPDIpEhRAFhhiGd4Fv
X-IPAS-Result: AjsEAC7K11LU4367lGdsb2JhbABZg0ODVIonrnQWDgEBAQEHCwsJEiqCTzKBAQJyCYd/CZhhjxGcAYk3hF2BCIIZDzGBSASPDIpEhRAFhhiGd4Fv
X-IronPort-AV: E=Sophos;i="4.95,667,1384297200"; 
   d="asc'?scan'208";a="53521607"
Received: from moutng.kundenserver.de ([212.227.126.187])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 16 Jan 2014 13:04:42 +0100
Received: from office1.lan.sumadev.de (dslb-088-069-134-103.pools.arcor-ip.net [88.69.134.103])
	by mrelayeu.kundenserver.de (node=mreu3) with ESMTP (Nemesis)
	id 0MdjtQ-1VioUA1jye-00PN54; Thu, 16 Jan 2014 13:04:42 +0100
Received: from [192.168.0.110] (ip-109-90-191-98.unitymediagroup.de [109.90.191.98])
	by office1.lan.sumadev.de (Postfix) with ESMTPSA id 0F535C00D3
	for <caml-list@inria.fr>; Thu, 16 Jan 2014 13:04:42 +0100 (CET)
Message-ID: <1389873881.2692.11.camel@zotac>
From: Gerd Stolpmann <info@gerd-stolpmann.de>
To: caml-list@inria.fr
Date: Thu, 16 Jan 2014 13:04:41 +0100
Content-Type: multipart/signed; micalg="pgp-sha1"; protocol="application/pgp-signature";
	boundary="=-eddJhXH/ooK7qvjPYR+K"
X-Mailer: Evolution 3.2.3-0ubuntu6 
Mime-Version: 1.0
X-Provags-ID: V02:K0:RIbUsR1P0Ucl//SFDD5Cx4Ag1xwBml+OQal7+Asyz0w
 bAO+In5GEcEm0p6hkHPtAkxYYpqs/K3aAHCH5dXrPdVD8i5Mn2
 sW4rC+8OzPfaRsjD+paRp2yCGlobOhrWkIXK3x56U/iViFDDS5
 QlB5f8cRgCOI2EUbDNmwO7DQPmXf2j4HBLeiyATgGQy5XhvRRl
 DBM5d2r8PNjBdV4xKXDN/Oy+Yhn4pYuOkLPHXSh/L+685bdcIl
 oGONfalhwNJYmPuaGx/nr4VcINqtUmxIy+hy4YR91+ol6rmR0c
 +u5y9KUW3s8TBb55XDcymTxGBzb0p5PWA8mGHfHIXeUDxoKUsS
 156jDLCE9KgtcH+8n7LRAQ5azrDnnympji6WBU66z
Subject: [Caml-list] camlcity.org down for the rest of the week


--=-eddJhXH/ooK7qvjPYR+K
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

Hi,

unfortunately, there is a hardware problem with the machine hosting
camlcity.org, probably a broken disk. I cannot resolve this instantly.
It will take a couple of days until a replacement is up and announced in
DNS.

If you need software from download.camlcity.org, there are a couple of
mirrors (still there from GODI times):

http://www.ocaml-programming.de/godi-backup/
http://godi.0ok.org/godi-backup/

Gerd
--=20
------------------------------------------------------------
Gerd Stolpmann, Darmstadt, Germany    gerd@gerd-stolpmann.de
My OCaml site:          http://www.camlcity.org
Contact details:        http://www.camlcity.org/contact.html
Company homepage:       http://www.gerd-stolpmann.de
------------------------------------------------------------

--=-eddJhXH/ooK7qvjPYR+K
Content-Type: application/pgp-signature; name="signature.asc"
Content-Description: This is a digitally signed message part
Content-Transfer-Encoding: 7bit

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)

iQEcBAABAgAGBQJS18rZAAoJEAaM4b9ZLB5TAN0H/jroDjSZqxcRXMC3702P17zF
0j3pNJdDtBB55Qv9evy7p7Jw667tA2zZVDqCE6JgCHoY0j6ZRYnPix84vAeESSzw
Z/UPhI4DkClRWJ2iHiOrw9s3huoMevFIL6pS3Ck479K7udmAgWyAKN/6h1H7CCY3
nFh3QiMWSbtupQtMDGZGY1lWlsvBXnKEUp1jMHUZfEtSHegKF1csAUm0T0sJM97C
9HuUdn68wXWH3hP5YsLaE5vdAi8ifIVxqnIj6vF4iAqJlJLcFols/SRaktPqlZKD
TNP2LbeOxDVeG8c4l2gjWS2JFKtuvK77tqiexjf/TQrkOeSEJHTxTicTbPJyeOo=
=3MW6
-----END PGP SIGNATURE-----

--=-eddJhXH/ooK7qvjPYR+K--