> http://www.cduce.org ok > http://www.cduce.org/download/cduce-0.5.2.1.tar.gz ok > http://www.cduce.org/download/ulex-1.1.tar.gz ok > http://www.cduce.org/ocaml ok