PAPI-5.3.0 came out at the beginning of December 2013 (http://icl.cs.utk.edu/papi/news/news.html?id=331). I would like to rebase Fedora rawhide PAPI to PAPI-5.3.0 January 16, 2014. openmpi build is definitely dependent on papi-devel, but I don't know if there are any other packages dependent on papi. -Will -- devel mailing list devel@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/devel Fedora Code of Conduct: http://fedoraproject.org/code-of-conduct
