From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from Hermes.metastack.local (172.16.0.8) by Hermes.metastack.local (172.16.0.8) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.2507.32 via Mailbox Transport; Tue, 21 Nov 2023 16:18:31 +0000 Received: from Hermes.metastack.local (172.16.0.8) by Hermes.metastack.local (172.16.0.8) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.2507.32; Tue, 21 Nov 2023 16:18:31 +0000 Received: from exchange.romulus.metastack.com (172.16.0.21) by Hermes.metastack.local (172.16.0.8) with Microsoft SMTP Server (version=TLS1_0, cipher=TLS_RSA_WITH_AES_256_CBC_SHA) id 15.1.2507.32 via Frontend Transport; Tue, 21 Nov 2023 16:18:31 +0000 Received: from romulus.metastack.com ([172.16.0.20]) by exchange.romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 3ALGIXRm007458 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Tue, 21 Nov 2023 16:18:33 GMT Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 3ALGIPA5007441 for ; Tue, 21 Nov 2023 16:18:25 GMT Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 21 Nov 2023 17:18:24 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id BE67AE0CCA; Tue, 21 Nov 2023 17:18:24 +0100 (CET) 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 444C7E004E for ; Tue, 21 Nov 2023 17:18:18 +0100 (CET) Received: from mail-oo1-f49.google.com ([209.85.161.49]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 21 Nov 2023 17:18:11 +0100 Received: by mail-oo1-f49.google.com with SMTP id 006d021491bc7-586ae6edf77so2842611eaf.1 for ; Tue, 21 Nov 2023 08:18:11 -0800 (PST) Received: from mail-ot1-f51.google.com (mail-ot1-f51.google.com. [209.85.210.51]) by smtp.gmail.com with ESMTPSA id 62-20020a4a0641000000b00581debbeeb4sm1890459ooj.1.2023.11.21.08.18.01 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Tue, 21 Nov 2023 08:18:01 -0800 (PST) Received: by mail-ot1-f51.google.com with SMTP id 46e09a7af769-6cd0963c61cso3037434a34.0 for ; Tue, 21 Nov 2023 08:18:01 -0800 (PST) From: =?utf-8?B?S2ltIE5ndXnhu4Vu?= To: "caml-list@inria.fr" Subject: [Caml-list] [ANN] OCaml User Survey 2023 Thread-Topic: [Caml-list] [ANN] OCaml User Survey 2023 Thread-Index: AQHaHJZeWlCxDPNG+ESNYZ46ySf38Q== Sender: "caml-list-request@inria.fr" X-MS-Exchange-MessageSentRepresentingType: 2 Date: Tue, 21 Nov 2023 16:17:25 +0000 Message-ID: Keywords: Sent to dra-news@metastack.com,Marked bulk,MetaStack - Lists,MetaStack List-Help: List-Subscribe: List-Unsubscribe: Reply-To: =?utf-8?B?S2ltIE5ndXnhu4Vu?= Content-Language: en-GB X-MS-Exchange-Organization-AuthAs: Anonymous X-MS-Exchange-Organization-AuthSource: Hermes.metastack.local X-MS-Has-Attach: X-Auto-Response-Suppress: All X-MS-Exchange-Organization-Network-Message-Id: a7c015c6-d1ab-4410-3563-08dbeaad80e5 X-MS-TNEF-Correlator: X-MS-Exchange-Organization-RecordReviewCfmType: 0 x-scanned-by: MIMEDefang 2.65 on 62.31.23.242 x-received: by 2002:a9d:6ad5:0:b0:6b9:c41f:ede9 with SMTP id m21-20020a9d6ad5000000b006b9c41fede9mr9861025otq.16.1700583480907; Tue, 21 Nov 2023 08:18:00 -0800 (PST) received-spf: None (mail2-relais-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@sympa.inria.fr) identity=helo; client-ip=128.93.162.160; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="postmaster@sympa.inria.fr"; x-conformance=spf_only x-ironport-av: E=Sophos;i="6.04,216,1695679200"; d="scan'208,217";a="137665468" x-ironport-anti-spam-filtered: true x-loop: caml-list@inria.fr x-no-archive: yes Content-Type: text/html; charset="utf-8" Content-ID: Content-Transfer-Encoding: base64 MIME-Version: 1.0 PGh0bWw+DQo8aGVhZD4NCjxtZXRhIGh0dHAtZXF1aXY9IkNvbnRlbnQtVHlwZSIgY29udGVudD0i dGV4dC9odG1sOyBjaGFyc2V0PXV0Zi04Ij4NCjwvaGVhZD4NCjxib2R5Pg0KPGRpdiBkaXI9Imx0 ciI+SGkgZXZlcnlvbmUsPGJyPg0KPGJyPg0Kd2UgYXJlIGRlbGlnaHRlZCB0byBhbm5vdW5jZSB0 aGUgT0NhbWwgVXNlciBTdXJ2ZXksIDIwMjMgZWRpdGlvbiAyLiBXaXRoIHRoaXMgc3VydmV5LCB0 aGUgT0NTRiBpcyB0cnlpbmcgdG8gZ2V0IGEgYmV0dGVyIHBpY3R1cmUgb2YgdGhlIE9DYW1sIGNv bW11bml0eSBhbmQgaXRzIG5lZWRzLiBJdCB3b3VsZCBiZSB2ZXJ5IGhlbHBmdWwgaWYgeW91IGNv dWxkIHRha2UgYSBmZXcgbWludXRlcyAoMTAgdG8gMTUpIHRvIGZpbGwgdGhlIHN1cnZleSBhbmQN CiBzaGFyZSBpdCB3aXRoIG90aGVyIE9DYW1sIHByb2dyYW1tZXJzLjxicj4NCjxicj4NCjxhIGhy ZWY9Imh0dHBzOi8vZm9ybXMuZ2xlL2l0ZW9SN1FNekZYdzJtcDg5Ij5odHRwczovL2Zvcm1zLmds ZS9pdGVvUjdRTXpGWHcybXA4OTwvYT48YnI+DQo8YnI+DQpUaGUgc3VydmV5IGlzIHJ1biBieSB0 aGUgT0NhbWwgU29mdHdhcmUgRm91bmRhdGlvbiAuIEl0IGJ1aWxkcyBvbiBwcmV2aW91cyBpdGVy YXRpb25zLiBUaGUgcmVzdWx0cyB3aWxsIGJlIHB1Ymxpc2hlZCBoZXJlIG9uIGRpc2N1c3MgYW5k IG9uIHRoZSB3ZWJzaXRlIG9mIHRoZSBPQ1NGIC4gVGhlIE9DU0Ygd291bGQgbGlrZSB0byB0aGFu ayBhbGwgdGhlIHBlb3BsZSB0aGF0IGhhdmUgaGVscGVkIGluIGRldmlzaW5nIHRoaXMgb3IgcHJl dmlvdXMgdmVyc2lvbnMNCiBvZiB0aGUgc3VydmV5LiBEb27igJl0IGhlc2l0YXRlIHRvIGdpdmUg dXMgeW91ciBmZWVkYmFjayAoeW91IGNhbiBwb3N0IGhlcmUgb3Igc2VuZCBtZSBhIG1lc3NhZ2Uv ZW1haWwpLjxicj4NCjxicj4NClRoZSBzdXJ2ZXkgd2lsbCByZW1haW4gb3BlbmVkIHVudGlsIERl Y2VtYmVyIDh0aCAyMDIzIChBT0UpLiBQbGVhc2UgdGFrZSB0aGUgc3VydmV5IGFuZCBkb27igJl0 IGhlc2l0YXRlIHRvIHNoYXJlIHRoZSBsaW5rITxicj4NCjxicj4NClNvbWUgcmVtYXJrcyByZWdh cmRpbmcgdGhpcyB5ZWFy4oCZcyBzdXJ2ZXk6PGJyPg0KPGJyPg0KLSBNb3N0IG9mIHRoZSBxdWVz dGlvbnMgYXJlIHNpbWlsYXIgdG8gdGhlIG9uZXMgaW4gdGhlIHByZXZpb3VzIHN1cnZleSwgc29t ZSBoYXZlIGJlZW4gZml4ZWQsIHNvbWUgaGF2ZSBiZWVuIHVwZGF0ZWQgKGUuZy4gdG8gbGlzdCBt b3JlIHJlY2VudCB2ZXJzaW9ucyBvZiB0aGUgT0NhbWwgY29tcGlsZXIpPGJyPg0KLSBBIG5ldyBz ZWN0aW9uIGF0IHRoZSBlbmQgb24gRGVtb2dyYXBoaWNzLCBEaXZlcnNpdHkgYW5kIEluY2x1c2lv bi4gVGhlIHJlbGF0ZWQgcXVlc3Rpb25zIGFyZSBtb3JlIHBlcnNvbmFsIGJ1dCBhZ2FpbiBjb21w bGV0ZWx5IG9wdGlvbmFsIGFuZCB3b3VsZCBncmVhdGx5IGhlbHAgdXMgZ2V0IGEgYmV0dGVyIHBp Y3R1cmUgb2Ygb3VyIGNvbW11bml0eSBhbmQgYXJlYXMgd2VyZSB0aGUgT0NTRiBjYW4gaGVscCBp bXByb3ZlIHRoaW5nczxicj4NCi0gQWdhaW4sIHdlIHJlc29ydGVkIHRvIHVzaW5nIEdvb2dsZSBG b3Jtcy4gSSBzcGVudCBxdWl0ZSBzb21lIHRpbWUgdHJ5aW5nIHRvIGZpbmQgYSB2aWFibGUgYWx0 ZXJuYXRpdmUsIGJ1dCBub25lIHdlcmUgc2F0aXNmYWN0b3J5IChlaXRoZXIgZnJvbSBhIHRlY2hu aWNhbCwgYWNjZXNzaWJpbGl0eSBvciBidXJlYXVjcmF0aWMgcG9pbnQgb2YgdmlldykuIEkgdW5k ZXJzdGFuZCB0aGF0IHRoaXMgY2FuIGJlIGEgZGlzYXBwb2ludG1lbnQgZm9yIHNvbWUuDQogSWYg eW91IGFyZSBpbnRlcmVzdGVkIGluIHJ1bm5pbmcgdGhlIHN1cnZleSBuZXh0IHllYXIgb24gYmVo YWxmIG9mIHRoZSBPQ1NGLCBnZXQgaW4gdG91Y2ghPGJyPg0KPGJyPg0KPGJyPg0KLS08YnI+DQpL aW08L2Rpdj4NCjwvYm9keT4NCjwvaHRtbD4NCg==