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
[-- Attachment #1 --] Hello, Let's inaugurate the OCaml mail list to bring to the light there is a 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), what translate to "[French National Institute for Research in Computer Science and Automation", is the responsible by the OCaml design and development, among several others interesting projects like "The Coq Proof Assistant". Becoming part of that consortium would be very interesting for FreeBSD since it would become officially part of the OCaml Language design and development, programing environment, and also would be specially benefited 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 fee of 3500€ (looks like an one time investment). As we all know the FreeBSD Foundation is not a wealthy entity, and the necessary resources to pay that fee, unfortunately, cannot be made available. That said, if there is an entity or entities that could make that necessary resource available for FreeBSD, we could start the process to get closely involved with OCaml, and also with INRIA, and the others members already part of that consortium. -- Best Regards, Alexandre C. Guimarães. https://bitbucket.org/rigoletto-freebsd/ [-- Attachment #2 --] -----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-----
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20190412031425.vykqv443riqht6of>