veille:ocaml

Table des matières

OCaml

OCaml

Coq

Debian

Ubuntu

Anomalie de David bien corrigée : https://bugs.launchpad.net/ubuntu/+source/ocamlnet/+bug/180364

Ocaml a besoin d'architecture Sparc / Solaris

Demande originelle sur Solaris : http://caml.inria.fr/pub/ml-archives/caml-list/2006/04/c26616257442855aa210ed81eacdcc5b.fr.html
Il existe une adaptation : http://caml.inria.fr/pub/ml-archives/caml-list/2006/04/6d13f8883130791e8281f2c71495fc88.fr.html
Elle n'est pas intégrée dans le développement officiel parce que les développeurs n'ont pas de machine Sparc : http://caml.inria.fr/pub/ml-archives/caml-list/2006/04/bf56bf98409e95ba11001c78edc87a65.fr.html
C'est étonnant : http://caml.inria.fr/pub/ml-archives/caml-list/2006/04/6e83e1402491f4151460283da524da6c.fr.html
Appel à bonnes volontés : http://caml.inria.fr/pub/ml-archives/caml-list/2006/04/512dd07b948282ba0b1bea7027112c5c.fr.html

Réunions

http://le-gall.net/sylvain+violaine/blog/index.php?2009/01/23/49-ocaml-meeting-2009-subscription-about-to-end

Exemples de réalisation

Procédures : http://linuxfr.org/users/piervit/journaux/gufo-un-langage-de-shell-moderne

veille/ocaml.txt · Dernière modification: 2017/12/09 21:55 par fdl