The output in https://koji.fedoraproject.org/koji/buildinfo?buildID=1449701 seems to indicate that cppad-devel-20200000.0-2.fc31 built successfully. When I execute dnf info cppad-devel in f31 I only get the old version, to be specific: Name : cppad-devel Version : 20190200.4 Release : 1.fc31 Architecture : i686 Size : 369 k Source : cppad-20190200.4-1.fc31.src.rpm ... snip ... _______________________________________________ packaging mailing list -- packaging@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to packaging-leave@xxxxxxxxxxxxxxxxxxxxxxx Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/packaging@xxxxxxxxxxxxxxxxxxxxxxx