Revision e29fd33746471ed0cfd88cba32cd9089ec8b03e7 authored by Roberto Di Cosmo on 02 February 2012, 10:37:39 UTC, committed by Roberto Di Cosmo on 02 February 2012, 10:37:39 UTC
1 parent c0b4803
Raw File
_tags
<*>: annot
#"libparmap.a": use_parmap
<parmap.cm{x,}a>: use_libparmap
<parmap.c{mxs}>: link_libparmap
<*.{ml,mli}>: package(unix), package(bigarray)


back to top