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 C877F8005F for ; Fri, 18 Nov 2016 14:07:01 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=info@gerd-stolpmann.de; spf=None smtp.mailfrom=info@gerd-stolpmann.de; spf=None smtp.helo=postmaster@mout.kundenserver.de Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=pra; client-ip=212.227.126.187; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=mailfrom; client-ip=212.227.126.187; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mout.kundenserver.de) identity=helo; client-ip=212.227.126.187; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="postmaster@mout.kundenserver.de"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AFnC6/BCZqPkn0UUW0v0PUyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSPX7p8bcNUDSrc9gkEXOFd2CrakV0KyP4+u8ACQp2tWoiDg6aptCVhsI24?= =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7?= =?us-ascii?q?Ovr6GpLIj8Swyuu+54Dfbx9GiTe5b75+Ngi6oAbeusQZnIdpN7o8xAbOrnZUYe?= =?us-ascii?q?pd2HlmJUiUnxby58ew+IBs/iFNsP8/9MBOTLv3cb0gQbNXEDopPWY15Nb2tRbY?= =?us-ascii?q?VguA+mEcUmQNnRVWBQXO8Qz3UY3wsiv+sep9xTWaMMjrRr06RTiu86FmQwLzhS?= =?us-ascii?q?wZKzA27n3Yis1ojKJavh2hoQB/w5XJa42RLfZyY7/Rcc8fSWdHQ81fVTFOApmk?= =?us-ascii?q?YoUMEuQPPfhWoYf/qFsAsRSwAgajCfjgyjNUnHL7x7c33/glHAzAwQcuH8gOsH?= =?us-ascii?q?PRrNjtNakdT/q1w7TVxjvec/NW3jP96JDNch87p/GMW697fM3QyUkpGQPFiU6d?= =?us-ascii?q?qYP7MDOPy+sBqnOb7/ZnVeKrk24nrht+oj6pxss2l4bGmJsYx1bZ/it3x4Y1IM?= =?us-ascii?q?e3SE99YdO8H5tfqTuaOJZvTsM5X2FovyI6yqUDuZGheigKzo4ryAPBZPCfb4eH?= =?us-ascii?q?+BfjVOKNLjd5mHJkeKizhxGo8UivzOD3S8q60E5SoyZbj9XAqGoB2wLN5sWFUP?= =?us-ascii?q?dx41mt1DeV2wzO6exJI1g4mKnbJpI737I9lZQevV7CEyLygkn6ka6belgi9+O1?= =?us-ascii?q?8eroeK/mqYWZN4JsigHxLKAumsunDOQ9NQgOQnSb9f6/1L3++032XatFjvstkq?= =?us-ascii?q?bHqpDaO9oUprSjDwBIzIkv8xe/DzG439QEhXQLMk9JdAydg4T3JV3DIur0Aeqh?= =?us-ascii?q?j1mtijtn2vPLM7/5DpXINHfDkbPhfbhn605bzQo+1dFf55RaCrEGO//zVVH+tM?= =?us-ascii?q?bFARMgKAy03+HnCNFl1oMbQ22PBKmZPLnPvlCW/u4vOfWDZJcJuDbhLPgo/+Lh?= =?us-ascii?q?gmU8mV8ZZKWp2ZoXaGukHvl9OEWYYX/sgs8bHmsQvwo+SvbqiFyYXjJJaXayRf?= =?us-ascii?q?F02jZuIo+8C4fKXIzlu7eB2yK+E4ceMmpLEFaMGG3kbI6EXPIJZTi6LcpokzhC?= =?us-ascii?q?Xr+kHdwPzxar4SD30bYvFfbT/jUdvJTlnIx04ePUvR4/7zAxFNia13mIRmdy2G?= =?us-ascii?q?8FEWxllJtjqFBwnw/QmZNzhOZVQJkKv6tE?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AzAACH/C5Yf7t+49ReHQEFAQsBGAEFA?= =?us-ascii?q?QsBgmkjAQEBAQF3gQCNP6NciBmCByiFeQKCCT8UAQEBAQEBAQEBAQESAQEJCws?= =?us-ascii?q?JGzKCMxoBghsBAQRVJBALRlcGEwmIZAMBCa4ki1IBAQEBAQEEAQEBAQEBEw6FQ?= =?us-ascii?q?4VThFWCQAuDCgWIVZF2gUwChHKGaIYJh0CGKIldg36ECx6BQh2FInEBiEkBAQE?= X-IPAS-Result: =?us-ascii?q?A0AzAACH/C5Yf7t+49ReHQEFAQsBGAEFAQsBgmkjAQEBAQF?= =?us-ascii?q?3gQCNP6NciBmCByiFeQKCCT8UAQEBAQEBAQEBAQESAQEJCwsJGzKCMxoBghsBA?= =?us-ascii?q?QRVJBALRlcGEwmIZAMBCa4ki1IBAQEBAQEEAQEBAQEBEw6FQ4VThFWCQAuDCgW?= =?us-ascii?q?IVZF2gUwChHKGaIYJh0CGKIldg36ECx6BQh2FInEBiEkBAQE?= X-IronPort-AV: E=Sophos;i="5.31,509,1473112800"; d="asc'?scan'208";a="200842004" Received: from mout.kundenserver.de ([212.227.126.187]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 18 Nov 2016 14:07:00 +0100 Received: from office1.lan.sumadev.de ([85.183.69.161]) by mrelayeu.kundenserver.de (mreue003 [212.227.15.167]) with ESMTPSA (Nemesis) id 0MVq96-1cIaok49hA-00X70p; Fri, 18 Nov 2016 14:06:59 +0100 Received: from e130 (unknown [IPv6:fd55:cf:6598:7f:d92c:6c6a:d3b1:f0ad]) by office1.lan.sumadev.de (Postfix) with ESMTPSA id C317BDC05D; Fri, 18 Nov 2016 14:06:57 +0100 (CET) Message-ID: <1479474413.5088.48.camel@gerd-stolpmann.de> From: Gerd Stolpmann To: Bernhard Schommer Cc: caml-list , Thomas Gazagnaire Date: Fri, 18 Nov 2016 14:06:53 +0100 In-Reply-To: References: <1479398053.5088.36.camel@gerd-stolpmann.de> Content-Type: multipart/signed; micalg="pgp-sha256"; protocol="application/pgp-signature"; boundary="=-VUvicgGO8848VkqgyB0t" X-Mailer: Evolution 3.18.5.2-0ubuntu3 Mime-Version: 1.0 X-Provags-ID: V03:K0:oCdBIWmG+IoLJT7IWhZUGW5mldCt0NLhs4xmefu+w/FCon+WzZS qH9K/awek2Va8s3AnBu2ehCweg26BqcuenvYIgV5gUOznh8IorX39Bw8jg2r+8DZej9gc54 U0FY1ahntv6yQmPFPYGXWa+ScCIvByB98ctjEcZs3025DEUOVtUN8Qrc94zFdnT77QiPyVo DPG0zGHQPrKWG77f2RQPg== X-UI-Out-Filterresults: notjunk:1;V01:K0:R+uN7EmZcqs=:fICU6CXmmxgBaLD/keRu2H cbNtboDCZGX0DIxbs8MnpQOHHApCmWwYcGQEZtlCk5481dJW+TAY9nOKPyjCfeLWukKhjC8nj uF7/ozP8E6AYv6lQLEMApelWOnyQsgHpu8uQuVhxma622UxkKe1paN578K/2gm/20XTM/XZxQ ixOuM7CH0iU9DR84yuZxp3YGcM3J3x9Fmbn5MxxcE0CeRvUpX0isfF28s2h7aoXbnKrrf3Ocl H7LH69qQEMaWH/EtiNOBBJe3OO5O4D4f1qK0ADtstkpWu38QGiCI2KelezkIuQHM5GvlLsrOu 5GH13mx8st+GM5VF2jpXGUzf4fekZfWY3tUZnPNHigPmKzyzVtxndB5qcBRl6rc77Kap8SNH8 6ULGac9nsruxBvhvszAJtpShtjpxedw8QEAOfp5Rth1weKJpHEQaXRVw+ZvFs/AwG0O6DTAXC Ufg+W76JDp3OphqRra/oDmKQ/OOfQqk+WvGDthMjJIDivek2CS50JBy7ZGngQV0ER0nPR+I4a vQ2pjPgCrRcCn7mMS9Y6RVRtagte/GNeKWzD0GKetuaN2TXMuzDesabcq5KLgNh+U/jc9BSK4 JWgnPi0laU2Fe69LCs0uZRU7FplaioDlpxCHZ8EcBLPtkCjmI27DGHkcUJmLRj+ZvHncGIq8r Q2maCrgpMrH3rL7uh7l8N8aEuifv5f50wVu+zSKx7lp+twkcHEGIG17aW+Giseiu07ak= Subject: Re: [Caml-list] [ANN] findlib-1.7.0 --=-VUvicgGO8848VkqgyB0t Content-Type: text/plain; charset="ISO-8859-15" Content-Transfer-Encoding: quoted-printable Correct, there is an error. Released findlib-1.7.1 with the missing files. Gerd Am Freitag, den 18.11.2016, 08:36 +0100 schrieb Bernhard Schommer: > Hi, >=20 > it seems that the raw_spacetime folder is missing in site-lib-src. > The > configure script complains about this. >=20 > Cheers, > -Bernhard >=20 > 2016-11-17 16:54 GMT+01:00 Gerd Stolpmann : > >=20 > > Hi, > >=20 > > I just released findlib-1.7.0, with: > >=20 > > =A0- new command "ocamlfind printppx" (by Hendrik Tews) > > =A0- support for raw_spacetime (with Mark Shinwell) > > =A0- some bugfixes > >=20 > > See the project page for more information: > >=20 > > http://projects.camlcity.org/projects/findlib.html > >=20 > > Gerd > > -- > > ------------------------------------------------------------ > > Gerd Stolpmann, Darmstadt, Germany=A0=A0=A0=A0gerd@gerd-stolpmann.de > > My OCaml site:=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0http://www.camlcity.org > > Contact details:=A0=A0=A0=A0=A0=A0=A0=A0http://www.camlcity.org/contact= .html > > Company homepage:=A0=A0=A0=A0=A0=A0=A0http://www.gerd-stolpmann.de > > ------------------------------------------------------------ > >=20 > >=20 --=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 ------------------------------------------------------------ --=-VUvicgGO8848VkqgyB0t 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 v2 iQEcBAABCAAGBQJYLvztAAoJEAaM4b9ZLB5TO5kH/0RxcNkQrPvCtB/BerIEPdeI Ko5pNSSifAt/bp5gtexRBHJgKl4abuP1DrAcY2AOpySYdqJ6Cy1zNWbFYi87NAsv An6cYynXr0DGvoAWDdEfQLc+27rWrWb+IxxhiwuqPr2m7TAg2ouUa5zPfe6EU8El S3YbMImmvvTHOkmbELzqx9agYFeYeYCMVt+x23zw2bPk1qjDhWnfL020ts496saa NLsystDaNjjRniQ5Qw8WjYrydv7MYVe5mve0RVE8pRPVCpoMkFp3Cc4MBoxhtcDj g/VqLljXu/md09/sDDh5krm6Bu5B8Ps+LZvz0JaxtevXOO3juDx86FA7aad8GGI= =9pZm -----END PGP SIGNATURE----- --=-VUvicgGO8848VkqgyB0t--