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@lists.fedoraproject.org
https://admin.fedoraproject.org/mailman/listinfo/devel
Fedora Code of Conduct: http://fedoraproject.org/code-of-conduct

Reply via email to