Date: Fri, 12 Apr 2019 00:14:25 -0300 From: Alexandre =?utf-8?Q?C=2E_Guimar=C3=A3es?= <rigoletto@FreeBSD.org> To: freebsd-ocaml@FreeBSD.org Subject: Caml Consortium at Inria. Message-ID: <20190412031425.vykqv443riqht6of@privacychain.ch>
next in thread | raw e-mail | index | archive | help
--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--
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20190412031425.vykqv443riqht6of>