set PAPI_LIB_DIR="" when we don't have PAPI (clean up package.conf)
[ghc-hetmet.git] / libraries / libraries-header.txt
1 The libraries are divided into several /packages/.  The available packages are: