Environment | Result |
---|---|
x86 | rc1:ok |
AMD64 or x86_64 | rc1:ok |
PowerPC | rc1:ok |
PA/RISC | rc1+patch:ok |
ARM | rc1+patch:ok |
other procs | |
Linux | rc1:ok |
Mac OS 10.4 | rc1:ok |
Mac OS 10.5 | rc1:ok |
Windows XP | rc1:ok |
Windows Vista | rc1:ok |
HP-UX | rc1+patch:ok |
FreeBSD | rc1:ok |
other OS | |
MinGW | rc1:ok |
MSVC (VS 2005) | rc1:ok |
MSVC (VS 2008) | rc1:ok |
Coq | rc1:ok |
GODI | rc1:ok |
OMake | rc1:ok |
camlp5 | rc1:ok |
Filliâtre's software | rc1:ok |
lablgtk 2.10.0 | rc1:type-error (bug in lablgtk) |
lablgtk 2.10.1 | rc1:ok |
findlib | rc1:ok |
ocamlduce | rc1:ok |
other programs |