From owner-freebsd-ocaml@freebsd.org Fri Apr 12 03:14:30 2019 Return-Path: Delivered-To: freebsd-ocaml@mailman.ysv.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.ysv.freebsd.org (Postfix) with ESMTP id 83FBF1570BE4 for ; Fri, 12 Apr 2019 03:14:30 +0000 (UTC) (envelope-from rigoletto@FreeBSD.org) Received: from smtp.freebsd.org (smtp.freebsd.org [IPv6:2610:1c1:1:606c::24b:4]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) server-signature RSA-PSS (4096 bits) client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "smtp.freebsd.org", Issuer "Let's Encrypt Authority X3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 23B0688B6F for ; Fri, 12 Apr 2019 03:14:30 +0000 (UTC) (envelope-from rigoletto@FreeBSD.org) Received: from privacychain.ch (unknown [179.54.99.230]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) (Authenticated sender: rigoletto) by smtp.freebsd.org (Postfix) with ESMTPSA id 88B837076 for ; Fri, 12 Apr 2019 03:14:29 +0000 (UTC) (envelope-from rigoletto@FreeBSD.org) Date: Fri, 12 Apr 2019 00:14:25 -0300 From: Alexandre =?utf-8?Q?C=2E_Guimar=C3=A3es?= To: freebsd-ocaml@FreeBSD.org Subject: Caml Consortium at Inria. Message-ID: <20190412031425.vykqv443riqht6of@privacychain.ch> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha512; protocol="application/pgp-signature"; boundary="e327h6zasx5h76fw" Content-Disposition: inline User-Agent: NeoMutt/20180716 X-Rspamd-Queue-Id: 23B0688B6F X-Spamd-Bar: -- Authentication-Results: mx1.freebsd.org X-Spamd-Result: default: False [-2.96 / 15.00]; local_wl_from(0.00)[FreeBSD.org]; NEURAL_HAM_MEDIUM(-1.00)[-0.996,0]; NEURAL_HAM_LONG(-1.00)[-1.000,0]; NEURAL_HAM_SHORT(-0.97)[-0.968,0]; ASN(0.00)[asn:11403, ipnet:2610:1c1:1::/48, country:US] X-BeenThere: freebsd-ocaml@freebsd.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: FreeBSD-specific OCaml discussions List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Fri, 12 Apr 2019 03:14:30 -0000 --e327h6zasx5h76fw Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Hello, Let's inaugurate the OCaml mail list to bring to the light there is a=20 possibility of FreeBSD become part of the "Caml Consortium at Inria". https://ocaml.org/consortium/ INRIA (Institut National de Recherche en Informatique et en Automatique),= =20 what translate to "[French National Institute for Research in Computer=20 Science and Automation", is the responsible by the OCaml design and=20 development, among several others interesting projects like "The Coq Proof= =20 Assistant". Becoming part of that consortium would be very interesting for FreeBSD=20 since it would become officially part of the OCaml Language design and=20 development, programing environment, and also would be specially benefited= =20 with a BSD-style license for OCaml: https://ocaml.org/docs/consortium-license.html To become part of that consortium it is necessary to pay a reasonable small= =20 fee of 3500=E2=82=AC (looks like an one time investment). As we all know the FreeBSD Foundation is not a wealthy entity, and the=20 necessary resources to pay that fee, unfortunately, cannot be made=20 available. That said, if there is an entity or entities that could make that necessary= =20 resource available for FreeBSD, we could start the process to get closely= =20 involved with OCaml, and also with INRIA, and the others members already=20 part of that consortium. --=20 Best Regards, Alexandre C. Guimar=C3=A3es. https://bitbucket.org/rigoletto-freebsd/ --e327h6zasx5h76fw Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQKTBAEBCgB9FiEE9RbDjoZ0ELBWamGCmSH8wDhAF9kFAlywAotfFIAAAAAALgAo aXNzdWVyLWZwckBub3RhdGlvbnMub3BlbnBncC5maWZ0aGhvcnNlbWFuLm5ldEY1 MTZDMzhFODY3NDEwQjA1NjZBNjE4Mjk5MjFGQ0MwMzg0MDE3RDkACgkQmSH8wDhA F9ksxxAArAbn0HC+SMlDcoUygdT4NWXg658HVYEjKxsU7NRjP1YqVMSgPoatjVir n83mqyeg1XZJYxFQJGfmFi5nK0MJ6thF1NIYII1QgyKjQqk6qKhK62varT6FoloB lYuuxXr1GImYzCMAjPaWbw1Ak5AA8hR72W67BcLBCbUyj6+ZjjX+o2o2yDpnDa9D xJpB6fFQcwYjrn3FxTrJ7moiCl1YOvzVrGJxfMUQFBA7bsGaIiSIbghVr+KlTTcd IIbwlBvRp6e/uxa556bUYLqQ7nMRQgukgSaiEHXrfVuOQgiTahFhPCl0As7KLIc3 mc++C0rbqQvbUfgDsqUhoKU6mEfdY/mroanycdLZdSixiBIS768w3uLJNssfuXME YupTTwNosfz+A+S1fLp72Chs9jPXLJAnYgZQPNRjzZ4xade2ptrgj96oXOBAF5iH hF0z9fuCnAgLOiN6AW67zQa7HMDEi4Fi5wmyrhsxdnZQOSLZGSPNnh7OdVzIqsw9 nPvAW69PiI3GaLvEiuAnXvZdEZptqD3j3Hwk2yjCvhxQFUL9SVAHrLVOaTIHxWva +WTHIt03hFiSYySM3vK/tdeZSK5vW1/EvWguEse+mBIL/BvPlw2WtjtvFXzd9duC zvZQq2kbvtIGpkfaU95fqQrDdnHn2GJmUXNzhweN2KiOdqjgj28= =Yq/I -----END PGP SIGNATURE----- --e327h6zasx5h76fw--