Aller au contenu
DokuWiki de FDL
Outils pour utilisateurs
S'identifier
Outils du site
Outils
Afficher le texte source
Anciennes révisions
Liens vers cette page
Derniers changements
Gestionnaire de médias
Plan du site
S'identifier
Derniers changements
Gestionnaire de médias
Plan du site
Vous êtes ici:
accueil
»
veille
»
ocaml
Piste:
•
ocaml
veille:ocaml
Table des matières
OCaml
Debian
Ubuntu
Ocaml a besoin d'architecture Sparc / Solaris
Réunions
Exemples de réalisation
OCaml
Coq
http://fr.wikipedia.org/wiki/OCaml
http://caml.inria.fr/
http://www.ocaml.info/home/home004.html
http://www.ffconsultancy.com/products/ocaml_for_scientists/
http://oandrieu.nerim.net/ocaml/
http://ocamlcore.org/
http://planet.ocamlcore.org/
Debian
http://pkg-ocaml-maint.alioth.debian.org/debian-ocaml-status.html
http://sockmel.bononia.it/~zack/ocaml-debian-status/debian-ocaml-status.html
OCamlMeeting :
http://le-gall.net/sylvain+violaine/blog/index.php?2008/01/30/36-ocamlmeeting-in-paris-debian-summary
http://upsilon.cc/~zack/blog/posts/2008/10/ocaml_batteries_included_debian_packages/
http://le-gall.net/sylvain+violaine/blog/index.php?2010/09/01/64-ocaml-312-with-debian-sid-right-now
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
Outils de la page
Afficher le texte source
Anciennes révisions
Liens vers cette page
Haut de page