Aller au contenu
DokuWiki de FDL
Outils pour utilisateurs
S'identifier
Outils du site
Rechercher
Outils
Afficher le texte source
Anciennes révisions
Liens de retour
Derniers changements
Gestionnaire Multimédia
Plan du site
S'identifier
>
Derniers changements
Gestionnaire Multimédia
Plan du site
Vous êtes ici:
accueil
»
doc
»
veille
»
ocaml
Piste:
doc:veille:ocaml
Ceci est une ancienne révision du document !
Table des matières
OCaml
Debian
Ubuntu
Ocaml a besoin d'architecture Sparc / Solaris
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
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
doc/veille/ocaml.1208535514.txt.gz
· Dernière modification: 2008/04/18 18:18 par
lehobey
Outils de la page
Afficher le texte source
Anciennes révisions
Liens de retour
Haut de page