One or more of the new sources for this package are identical to the old sources. This is most likely caused either by identical source files between releases, for example service files, or the specfile does not use version macro in its source URLs. If this is the second case, then please update the specfile to use version macro in its source URLs.

Created attachment 1823774 [details]
[patch] Update to 5.39.0 (#2005249)

the-new-hotness/release-monitoring.org's scratch build of cbmc-5.39.0-1.fc32.src.rpm for rawhide completed http://koji.fedoraproject.org/koji/taskinfo?taskID=75833351

Latest upstream release: 5.39.2
Current version/release in rawhide: 5.38.0-1.fc36
URL: http://www.cprover.org/cbmc/

Please consult the package updates policy before you issue an update to a stable branch: https://docs.fedoraproject.org/en-US/fesco/Updates_Policy/


More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring


Please keep in mind that with any upstream change, there may also be packaging changes that need to be made. Specifically, please remember that it is your responsibility to review the new version to ensure that the licensing is still correct and that no non-free or legally problematic items have been added upstream.


Based on the information from anitya: https://release-monitoring.org/project/7591/

One or more of the new sources for this package are identical to the old sources. This is most likely caused either by identical source files between releases, for example service files, or the specfile does not use version macro in its source URLs. If this is the second case, then please update the specfile to use version macro in its source URLs.

Created attachment 1825150 [details]
[patch] Update to 5.39.2 (#2005249)

the-new-hotness/release-monitoring.org's scratch build of cbmc-5.39.2-1.fc32.src.rpm for rawhide completed http://koji.fedoraproject.org/koji/taskinfo?taskID=76083496

Latest upstream release: 5.39.3
Current version/release in rawhide: 5.38.0-1.fc36
URL: http://www.cprover.org/cbmc/

Please consult the package updates policy before you issue an update to a stable branch: https://docs.fedoraproject.org/en-US/fesco/Updates_Policy/


More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring


Please keep in mind that with any upstream change, there may also be packaging changes that need to be made. Specifically, please remember that it is your responsibility to review the new version to ensure that the licensing is still correct and that no non-free or legally problematic items have been added upstream.


Based on the information from anitya: https://release-monitoring.org/project/7591/

One or more of the new sources for this package are identical to the old sources. This is most likely caused either by identical source files between releases, for example service files, or the specfile does not use version macro in its source URLs. If this is the second case, then please update the specfile to use version macro in its source URLs.

Created attachment 1825434 [details]
[patch] Update to 5.39.3 (#2005249)

the-new-hotness/release-monitoring.org's scratch build of cbmc-5.39.3-1.fc32.src.rpm for rawhide completed http://koji.fedoraproject.org/koji/taskinfo?taskID=76134273

Latest upstream release: 5.40.0
Current version/release in rawhide: 5.38.0-1.fc36
URL: http://www.cprover.org/cbmc/

Please consult the package updates policy before you issue an update to a stable branch: https://docs.fedoraproject.org/en-US/fesco/Updates_Policy/


More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring


Please keep in mind that with any upstream change, there may also be packaging changes that need to be made. Specifically, please remember that it is your responsibility to review the new version to ensure that the licensing is still correct and that no non-free or legally problematic items have been added upstream.


Based on the information from anitya: https://release-monitoring.org/project/7591/

One or more of the new sources for this package are identical to the old sources. This is most likely caused either by identical source files between releases, for example service files, or the specfile does not use version macro in its source URLs. If this is the second case, then please update the specfile to use version macro in its source URLs.

Created attachment 1827821 [details]
[patch] Update to 5.40.0 (#2005249)

the-new-hotness/release-monitoring.org's scratch build of cbmc-5.40.0-1.fc32.src.rpm for rawhide completed http://koji.fedoraproject.org/koji/taskinfo?taskID=76540738

Latest upstream release: 5.41.0
Current version/release in rawhide: 5.38.0-1.fc36
URL: http://www.cprover.org/cbmc/

Please consult the package updates policy before you issue an update to a stable branch: https://docs.fedoraproject.org/en-US/fesco/Updates_Policy/


More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring


Please keep in mind that with any upstream change, there may also be packaging changes that need to be made. Specifically, please remember that it is your responsibility to review the new version to ensure that the licensing is still correct and that no non-free or legally problematic items have been added upstream.


Based on the information from anitya: https://release-monitoring.org/project/7591/

Created attachment 1829474 [details]
[patch] Update to 5.41.0 (#2005249)

the-new-hotness/release-monitoring.org's scratch build of cbmc-5.41.0-1.fc34.src.rpm for rawhide completed http://koji.fedoraproject.org/koji/taskinfo?taskID=76748525

Latest upstream release: 5.42.0
Current version/release in rawhide: 5.38.0-1.fc36
URL: http://www.cprover.org/cbmc/

Please consult the package updates policy before you issue an update to a stable branch: https://docs.fedoraproject.org/en-US/fesco/Updates_Policy/


More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring


Please keep in mind that with any upstream change, there may also be packaging changes that need to be made. Specifically, please remember that it is your responsibility to review the new version to ensure that the licensing is still correct and that no non-free or legally problematic items have been added upstream.


Based on the information from anitya: https://release-monitoring.org/project/7591/

Created attachment 1833517 [details]
[patch] Update to 5.42.0 (#2005249)

the-new-hotness/release-monitoring.org's scratch build of cbmc-5.42.0-1.fc34.src.rpm for rawhide completed http://koji.fedoraproject.org/koji/taskinfo?taskID=77298260

Latest upstream release: 5.43.0
Current version/release in rawhide: 5.38.0-1.fc36
URL: http://www.cprover.org/cbmc/

Please consult the package updates policy before you issue an update to a stable branch: https://docs.fedoraproject.org/en-US/fesco/Updates_Policy/


More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring


Please keep in mind that with any upstream change, there may also be packaging changes that need to be made. Specifically, please remember that it is your responsibility to review the new version to ensure that the licensing is still correct and that no non-free or legally problematic items have been added upstream.


Based on the information from anitya: https://release-monitoring.org/project/7591/

Created attachment 1838058 [details]
[patch] Update to 5.43.0 (#2005249)

the-new-hotness/release-monitoring.org's scratch build of cbmc-5.43.0-1.fc34.src.rpm for rawhide completed http://koji.fedoraproject.org/koji/taskinfo?taskID=77979317

Latest upstream release: 5.44.0
Current version/release in rawhide: 5.38.0-1.fc36
URL: http://www.cprover.org/cbmc/

Please consult the package updates policy before you issue an update to a stable branch: https://docs.fedoraproject.org/en-US/fesco/Updates_Policy/


More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring


Please keep in mind that with any upstream change, there may also be packaging changes that need to be made. Specifically, please remember that it is your responsibility to review the new version to ensure that the licensing is still correct and that no non-free or legally problematic items have been added upstream.


Based on the information from anitya: https://release-monitoring.org/project/7591/

Created attachment 1841494 [details]
[patch] Update to 5.44.0 (#2005249)

the-new-hotness/release-monitoring.org's scratch build of cbmc-5.44.0-1.fc34.src.rpm for rawhide completed http://koji.fedoraproject.org/koji/taskinfo?taskID=78760743

Latest upstream release: 5.45.0
Current version/release in rawhide: 5.38.0-1.fc36
URL: http://www.cprover.org/cbmc/

Please consult the package updates policy before you issue an update to a stable branch: https://docs.fedoraproject.org/en-US/fesco/Updates_Policy/


More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring


Please keep in mind that with any upstream change, there may also be packaging changes that need to be made. Specifically, please remember that it is your responsibility to review the new version to ensure that the licensing is still correct and that no non-free or legally problematic items have been added upstream.


Based on the information from anitya: https://release-monitoring.org/project/7591/

Skipping the scratch build because an SRPM could not be built: ['rpmbuild', '-D', '_sourcedir .', '-D', '_topdir .', '-bs', '/var/tmp/thn-mgewwr_2/cbmc.spec'] returned 1: b'error: Bad source: ./cbmc-5.45.0.tar.gz: No such file or directory\n'

Latest upstream release: 5.46.0
Current version/release in rawhide: 5.38.0-1.fc36
URL: http://www.cprover.org/cbmc/

Please consult the package updates policy before you issue an update to a stable branch: https://docs.fedoraproject.org/en-US/fesco/Updates_Policy/


More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring


Please keep in mind that with any upstream change, there may also be packaging changes that need to be made. Specifically, please remember that it is your responsibility to review the new version to ensure that the licensing is still correct and that no non-free or legally problematic items have been added upstream.


Based on the information from Anitya: https://release-monitoring.org/project/7591/

Created attachment 1845590 [details]
Update to 5.46.0 (#2005249)

the-new-hotness/release-monitoring.org's scratch build of cbmc-5.46.0-1.fc34.src.rpm for rawhide completed http://koji.fedoraproject.org/koji/taskinfo?taskID=79777658

Latest upstream release: 5.47.0
Current version/release in rawhide: 5.38.0-1.fc36
URL: http://www.cprover.org/cbmc/

Please consult the package updates policy before you issue an update to a stable branch: https://docs.fedoraproject.org/en-US/fesco/Updates_Policy/


More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring


Please keep in mind that with any upstream change, there may also be packaging changes that need to be made. Specifically, please remember that it is your responsibility to review the new version to ensure that the licensing is still correct and that no non-free or legally problematic items have been added upstream.


Based on the information from Anitya: https://release-monitoring.org/project/7591/

Created attachment 1847149 [details]
Update to 5.47.0 (#2005249)

the-new-hotness/release-monitoring.org's scratch build of cbmc-5.47.0-1.fc34.src.rpm for rawhide completed http://koji.fedoraproject.org/koji/taskinfo?taskID=80261586

Latest upstream release: 5.48.0
Current version/release in rawhide: 5.38.0-1.fc36
URL: http://www.cprover.org/cbmc/

Please consult the package updates policy before you issue an update to a stable branch: https://docs.fedoraproject.org/en-US/fesco/Updates_Policy/


More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring


Please keep in mind that with any upstream change, there may also be packaging changes that need to be made. Specifically, please remember that it is your responsibility to review the new version to ensure that the licensing is still correct and that no non-free or legally problematic items have been added upstream.


Based on the information from Anitya: https://release-monitoring.org/project/7591/

Created attachment 1849361 [details]
Update to 5.48.0 (#2005249)

the-new-hotness/release-monitoring.org's scratch build of cbmc-5.48.0-1.fc34.src.rpm for rawhide completed http://koji.fedoraproject.org/koji/taskinfo?taskID=80931544

Latest upstream release: 5.49.0
Current version/release in rawhide: 5.38.0-1.fc36
URL: http://www.cprover.org/cbmc/

Please consult the package updates policy before you issue an update to a stable branch: https://docs.fedoraproject.org/en-US/fesco/Updates_Policy/


More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring


Please keep in mind that with any upstream change, there may also be packaging changes that need to be made. Specifically, please remember that it is your responsibility to review the new version to ensure that the licensing is still correct and that no non-free or legally problematic items have been added upstream.


Based on the information from Anitya: https://release-monitoring.org/project/7591/

Created attachment 1852365 [details]
Update to 5.49.0 (#2005249)

the-new-hotness/release-monitoring.org's scratch build of cbmc-5.49.0-1.fc34.src.rpm for rawhide failed http://koji.fedoraproject.org/koji/taskinfo?taskID=81563792

Latest upstream release: 5.50.0
Current version/release in rawhide: 5.38.0-1.fc36
URL: http://www.cprover.org/cbmc/

Please consult the package updates policy before you issue an update to a stable branch: https://docs.fedoraproject.org/en-US/fesco/Updates_Policy/


More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring


Please keep in mind that with any upstream change, there may also be packaging changes that need to be made. Specifically, please remember that it is your responsibility to review the new version to ensure that the licensing is still correct and that no non-free or legally problematic items have been added upstream.


Based on the information from Anitya: https://release-monitoring.org/project/7591/

Created attachment 1859009 [details]
Update to 5.50.0 (#2005249)

the-new-hotness/release-monitoring.org's scratch build of cbmc-5.50.0-1.fc34.src.rpm for rawhide failed http://koji.fedoraproject.org/koji/taskinfo?taskID=82364697

Fixed in https://src.fedoraproject.org/rpms/cbmc/c/16f66095856d71ec28dfdf11837b267653053e2d.