Summary of changes: 7adf3db... - Rebuilt for https://fedoraproject.org/wiki/Fedora_17_Mass (*) 0be15e1... update sources (*) 3555f00... Advance to version 2012 of cppad (*) (*) This commit already existed in another branch; no separate mail sent