Revision 355de5103e31129ecb0373b39db603e91734113f authored by Jerome Vouillon on 17 November 2011, 16:27:00 UTC, committed by Roberto Di Cosmo on 18 November 2011, 17:46:53 UTC
1 parent 1da829e
Raw File
_tags
<*>: annot
#"libparmap.a": use_parmap
<parmap.cm{x,}a>: use_libparmap
<parmap.c{mxs}>: link_libparmap
<*.{ml,mli}>: package(extlib), package(unix), package(bigarray)


back to top