version=4
http://www.lri.fr/~filliatr/ftp/ocaml/ds/ creal-(.*)\.tar\.gz
