Bug 2055971
|
Description
Upstream Release Monitoring
2022-02-18 04:21:21 UTC
Created attachment 1861822 [details]
Update to 5.51.0 (#2055971)
the-new-hotness/release-monitoring.org's scratch build of cbmc-5.51.0-1.fc34.src.rpm for rawhide failed http://koji.fedoraproject.org/koji/taskinfo?taskID=82957106 Latest upstream release: 5.52.0 Current version/release in rawhide: 5.50.0-1.fc37 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 1864104 [details]
Update to 5.52.0 (#2055971)
the-new-hotness/release-monitoring.org's scratch build of cbmc-5.52.0-1.fc34.src.rpm for rawhide failed http://koji.fedoraproject.org/koji/taskinfo?taskID=83623009 Latest upstream release: 5.53.0 Current version/release in rawhide: 5.50.0-1.fc37 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 1866551 [details]
Update to 5.53.0 (#2055971)
the-new-hotness/release-monitoring.org's scratch build of cbmc-5.53.0-1.fc34.src.rpm for rawhide failed http://koji.fedoraproject.org/koji/taskinfo?taskID=84356591 Latest upstream release: 5.53.1 Current version/release in rawhide: 5.50.0-1.fc37 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 1867500 [details]
Update to 5.53.1 (#2055971)
the-new-hotness/release-monitoring.org's scratch build of cbmc-5.53.1-1.fc34.src.rpm for rawhide failed http://koji.fedoraproject.org/koji/taskinfo?taskID=84555057 Latest upstream release: 5.54.0 Current version/release in rawhide: 5.50.0-1.fc37 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 1869824 [details]
Update to 5.54.0 (#2055971)
the-new-hotness/release-monitoring.org's scratch build of cbmc-5.54.0-1.fc34.src.rpm for rawhide failed http://koji.fedoraproject.org/koji/taskinfo?taskID=84993566 Latest upstream release: 5.55.0 Current version/release in rawhide: 5.50.0-1.fc37 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 1872581 [details]
Update to 5.55.0 (#2055971)
the-new-hotness/release-monitoring.org's scratch build of cbmc-5.55.0-1.fc34.src.rpm for rawhide failed http://koji.fedoraproject.org/koji/taskinfo?taskID=85675521 Latest upstream release: 5.56.0 Current version/release in rawhide: 5.50.0-1.fc37 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 1876146 [details]
Update to 5.56.0 (#2055971)
the-new-hotness/release-monitoring.org's scratch build of cbmc-5.56.0-1.fc34.src.rpm for rawhide failed http://koji.fedoraproject.org/koji/taskinfo?taskID=86436174 Latest upstream release: 5.57.0 Current version/release in rawhide: 5.50.0-1.fc37 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 1879331 [details]
Update to 5.57.0 (#2055971)
the-new-hotness/release-monitoring.org's scratch build of cbmc-5.57.0-1.fc34.src.rpm for rawhide failed http://koji.fedoraproject.org/koji/taskinfo?taskID=86981147 Latest upstream release: 5.58.0 Current version/release in rawhide: 5.50.0-1.fc37 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 1884044 [details]
Update to 5.58.0 (#2055971)
the-new-hotness/release-monitoring.org's scratch build of cbmc-5.58.0-1.fc34.src.rpm for rawhide failed http://koji.fedoraproject.org/koji/taskinfo?taskID=87541022 Latest upstream release: 5.58.1 Current version/release in rawhide: 5.50.0-1.fc37 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 1884478 [details]
Update to 5.58.1 (#2055971)
the-new-hotness/release-monitoring.org's scratch build of cbmc-5.58.1-1.fc34.src.rpm for rawhide failed http://koji.fedoraproject.org/koji/taskinfo?taskID=87590105 Releases retrieved: 5.59.0 Upstream release that is considered latest: 5.59.0 Current version/release in rawhide: 5.50.0-1.fc37 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/ To change the monitoring settings for the project, please visit: https://src.fedoraproject.org/rpms/cbmc Created attachment 1888456 [details]
Update to 5.59.0 (#2055971)
the-new-hotness/release-monitoring.org's scratch build of cbmc-5.59.0-1.fc36.src.rpm for rawhide failed http://koji.fedoraproject.org/koji/taskinfo?taskID=88074730 Releases retrieved: 5.60.0 Upstream release that is considered latest: 5.60.0 Current version/release in rawhide: 5.50.0-1.fc37 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/ To change the monitoring settings for the project, please visit: https://src.fedoraproject.org/rpms/cbmc Created attachment 1892274 [details]
Update to 5.60.0 (#2055971)
the-new-hotness/release-monitoring.org's scratch build of cbmc-5.60.0-1.fc36.src.rpm for rawhide failed http://koji.fedoraproject.org/koji/taskinfo?taskID=88657708 Releases retrieved: 5.61.0 Upstream release that is considered latest: 5.61.0 Current version/release in rawhide: 5.50.0-1.fc37 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/ To change the monitoring settings for the project, please visit: https://src.fedoraproject.org/rpms/cbmc Created attachment 1895505 [details]
Update to 5.61.0 (#2055971)
the-new-hotness/release-monitoring.org's scratch build of cbmc-5.61.0-1.fc36.src.rpm for rawhide failed http://koji.fedoraproject.org/koji/taskinfo?taskID=89252394 Releases retrieved: 5.62.0 Upstream release that is considered latest: 5.62.0 Current version/release in rawhide: 5.50.0-1.fc37 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/ To change the monitoring settings for the project, please visit: https://src.fedoraproject.org/rpms/cbmc Created attachment 1898862 [details]
Update to 5.62.0 (#2055971)
the-new-hotness/release-monitoring.org's scratch build of cbmc-5.62.0-1.fc36.src.rpm for rawhide failed http://koji.fedoraproject.org/koji/taskinfo?taskID=89897018 Releases retrieved: 5.63.0 Upstream release that is considered latest: 5.63.0 Current version/release in rawhide: 5.50.0-2.fc37 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/ To change the monitoring settings for the project, please visit: https://src.fedoraproject.org/rpms/cbmc Created attachment 1903939 [details]
Update to 5.63.0 (#2055971)
the-new-hotness/release-monitoring.org's scratch build of cbmc-5.63.0-1.fc36.src.rpm for rawhide failed http://koji.fedoraproject.org/koji/taskinfo?taskID=90497285 Releases retrieved: 5.64.0 Upstream release that is considered latest: 5.64.0 Current version/release in rawhide: 5.50.0-2.fc37 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/ To change the monitoring settings for the project, please visit: https://src.fedoraproject.org/rpms/cbmc Created attachment 1906459 [details]
Update to 5.64.0 (#2055971)
the-new-hotness/release-monitoring.org's scratch build of cbmc-5.64.0-1.fc36.src.rpm for rawhide failed http://koji.fedoraproject.org/koji/taskinfo?taskID=90995239 Releases retrieved: 5.65.0 Upstream release that is considered latest: 5.65.0 Current version/release in rawhide: 5.50.0-2.fc37 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/ To change the monitoring settings for the project, please visit: https://src.fedoraproject.org/rpms/cbmc Created attachment 1909064 [details]
Update to 5.65.0 (#2055971)
the-new-hotness/release-monitoring.org's scratch build of cbmc-5.65.0-1.fc36.src.rpm for rawhide failed http://koji.fedoraproject.org/koji/taskinfo?taskID=91503366 Releases retrieved: 5.65.1 Upstream release that is considered latest: 5.65.1 Current version/release in rawhide: 5.50.0-2.fc37 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/ To change the monitoring settings for the project, please visit: https://src.fedoraproject.org/rpms/cbmc Created attachment 1909688 [details]
Update to 5.65.1 (#2055971)
the-new-hotness/release-monitoring.org's scratch build of cbmc-5.65.1-1.fc36.src.rpm for rawhide failed http://koji.fedoraproject.org/koji/taskinfo?taskID=91678210 Releases retrieved: 5.66.0 Upstream release that is considered latest: 5.66.0 Current version/release in rawhide: 5.50.0-2.fc37 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/ To change the monitoring settings for the project, please visit: https://src.fedoraproject.org/rpms/cbmc Created attachment 1912455 [details]
Update to 5.66.0 (#2055971)
the-new-hotness/release-monitoring.org's scratch build of cbmc-5.66.0-1.fc36.src.rpm for rawhide failed http://koji.fedoraproject.org/koji/taskinfo?taskID=92102812 Releases retrieved: 5.67.0 Upstream release that is considered latest: 5.67.0 Current version/release in rawhide: 5.50.0-2.fc37 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://docs.fedoraproject.org/en-US/package-maintainers/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/ To change the monitoring settings for the project, please visit: https://src.fedoraproject.org/rpms/cbmc Created attachment 1915114 [details]
Update to 5.67.0 (#2055971)
Releases retrieved: 5.68.0 Upstream release that is considered latest: 5.68.0 Current version/release in rawhide: 5.50.0-2.fc37 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://docs.fedoraproject.org/en-US/package-maintainers/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/ To change the monitoring settings for the project, please visit: https://src.fedoraproject.org/rpms/cbmc Created attachment 1918161 [details]
Update to 5.68.0 (#2055971)
the-new-hotness/release-monitoring.org's scratch build of cbmc-5.68.0-1.fc36.src.rpm for rawhide failed http://koji.fedoraproject.org/koji/taskinfo?taskID=93029200 Releases retrieved: 5.69.0, 5.69.1 Upstream release that is considered latest: 5.69.1 Current version/release in rawhide: 5.50.0-2.fc37 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://docs.fedoraproject.org/en-US/package-maintainers/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/ To change the monitoring settings for the project, please visit: https://src.fedoraproject.org/rpms/cbmc Created attachment 1920828 [details]
Update to 5.69.1 (#2055971)
the-new-hotness/release-monitoring.org's scratch build of cbmc-5.69.1-1.fc36.src.rpm for rawhide failed http://koji.fedoraproject.org/koji/taskinfo?taskID=93520585 Releases retrieved: 5.70.0 Upstream release that is considered latest: 5.70.0 Current version/release in rawhide: 5.50.0-2.fc37 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://docs.fedoraproject.org/en-US/package-maintainers/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/ To change the monitoring settings for the project, please visit: https://src.fedoraproject.org/rpms/cbmc Created attachment 1923666 [details]
Update to 5.70.0 (#2055971)
the-new-hotness/release-monitoring.org's scratch build of cbmc-5.70.0-1.fc36.src.rpm for rawhide failed http://koji.fedoraproject.org/koji/taskinfo?taskID=94029276 Releases retrieved: 5.71.0 Upstream release that is considered latest: 5.71.0 Current version/release in rawhide: 5.50.0-2.fc37 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://docs.fedoraproject.org/en-US/package-maintainers/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/ To change the monitoring settings for the project, please visit: https://src.fedoraproject.org/rpms/cbmc Created attachment 1927194 [details]
Update to 5.71.0 (#2055971)
the-new-hotness/release-monitoring.org's scratch build of cbmc-5.71.0-1.fc36.src.rpm for rawhide failed http://koji.fedoraproject.org/koji/taskinfo?taskID=94503339 Releases retrieved: 5.72.0 Upstream release that is considered latest: 5.72.0 Current version/release in rawhide: 5.50.0-2.fc37 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://docs.fedoraproject.org/en-US/package-maintainers/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/ To change the monitoring settings for the project, please visit: https://src.fedoraproject.org/rpms/cbmc Created attachment 1931177 [details]
Update to 5.72.0 (#2055971)
the-new-hotness/release-monitoring.org's scratch build of cbmc-5.72.0-1.fc36.src.rpm for rawhide failed http://koji.fedoraproject.org/koji/taskinfo?taskID=95105540 Releases retrieved: 5.72.1 Upstream release that is considered latest: 5.72.1 Current version/release in rawhide: 5.50.0-2.fc37 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://docs.fedoraproject.org/en-US/package-maintainers/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/ To change the monitoring settings for the project, please visit: https://src.fedoraproject.org/rpms/cbmc Created attachment 1931571 [details]
Update to 5.72.1 (#2055971)
the-new-hotness/release-monitoring.org's scratch build of cbmc-5.72.1-1.fc36.src.rpm for rawhide failed http://koji.fedoraproject.org/koji/taskinfo?taskID=95175110 Releases retrieved: 5.72.2 Upstream release that is considered latest: 5.72.2 Current version/release in rawhide: 5.50.0-2.fc37 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://docs.fedoraproject.org/en-US/package-maintainers/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/ To change the monitoring settings for the project, please visit: https://src.fedoraproject.org/rpms/cbmc Created attachment 1932651 [details]
Update to 5.72.2 (#2055971)
the-new-hotness/release-monitoring.org's scratch build of cbmc-5.72.2-1.fc36.src.rpm for rawhide failed http://koji.fedoraproject.org/koji/taskinfo?taskID=95358532 Releases retrieved: 5.73.0 Upstream release that is considered latest: 5.73.0 Current version/release in rawhide: 5.50.0-2.fc37 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://docs.fedoraproject.org/en-US/package-maintainers/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/ To change the monitoring settings for the project, please visit: https://src.fedoraproject.org/rpms/cbmc Created attachment 1933863 [details]
Update to 5.73.0 (#2055971)
the-new-hotness/release-monitoring.org's scratch build of cbmc-5.73.0-1.fc36.src.rpm for rawhide failed http://koji.fedoraproject.org/koji/taskinfo?taskID=95579534 Releases retrieved: 5.74.0 Upstream release that is considered latest: 5.74.0 Current version/release in rawhide: 5.50.0-2.fc37 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://docs.fedoraproject.org/en-US/package-maintainers/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/ To change the monitoring settings for the project, please visit: https://src.fedoraproject.org/rpms/cbmc Created attachment 1936477 [details]
Update to 5.74.0 (#2055971)
the-new-hotness/release-monitoring.org's scratch build of cbmc-5.74.0-1.fc36.src.rpm for rawhide failed http://koji.fedoraproject.org/koji/taskinfo?taskID=95851132 Releases retrieved: 5.75.0 Upstream release that is considered latest: 5.75.0 Current version/release in rawhide: 5.50.0-2.fc37 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://docs.fedoraproject.org/en-US/package-maintainers/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/ To change the monitoring settings for the project, please visit: https://src.fedoraproject.org/rpms/cbmc Created attachment 1939533 [details]
Update to 5.75.0 (#2055971)
the-new-hotness/release-monitoring.org's scratch build of cbmc-5.75.0-1.fc36.src.rpm for rawhide failed http://koji.fedoraproject.org/koji/taskinfo?taskID=96447118 Releases retrieved: 5.76.0, 5.76.1 Upstream release that is considered latest: 5.76.1 Current version/release in rawhide: 5.50.0-2.fc37 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://docs.fedoraproject.org/en-US/package-maintainers/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/ To change the monitoring settings for the project, please visit: https://src.fedoraproject.org/rpms/cbmc Created attachment 1941899 [details]
Update to 5.76.1 (#2055971)
the-new-hotness/release-monitoring.org's scratch build of cbmc-5.76.1-1.fc36.src.rpm for rawhide failed http://koji.fedoraproject.org/koji/taskinfo?taskID=97016788 Releases retrieved: 5.77.0 Upstream release that is considered latest: 5.77.0 Current version/release in rawhide: 5.50.0-4.fc39 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://docs.fedoraproject.org/en-US/package-maintainers/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/ To change the monitoring settings for the project, please visit: https://src.fedoraproject.org/rpms/cbmc Created attachment 1944755 [details]
Update to 5.77.0 (#2055971)
the-new-hotness/release-monitoring.org's scratch build of cbmc-5.77.0-1.fc36.src.rpm for rawhide failed http://koji.fedoraproject.org/koji/taskinfo?taskID=97626628 Releases retrieved: 5.78.0 Upstream release that is considered latest: 5.78.0 Current version/release in rawhide: 5.50.0-4.fc39 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://docs.fedoraproject.org/en-US/package-maintainers/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/ To change the monitoring settings for the project, please visit: https://src.fedoraproject.org/rpms/cbmc Created attachment 1947630 [details]
Update to 5.78.0 (#2055971)
the-new-hotness/release-monitoring.org's scratch build of cbmc-5.78.0-1.fc36.src.rpm for rawhide failed http://koji.fedoraproject.org/koji/taskinfo?taskID=98217636 Releases retrieved: 5.79.0 Upstream release that is considered latest: 5.79.0 Current version/release in rawhide: 5.50.0-4.fc39 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://docs.fedoraproject.org/en-US/package-maintainers/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/ To change the monitoring settings for the project, please visit: https://src.fedoraproject.org/rpms/cbmc Created attachment 1951455 [details]
Update to 5.79.0 (#2055971)
the-new-hotness/release-monitoring.org's scratch build of cbmc-5.79.0-1.fc36.src.rpm for rawhide failed http://koji.fedoraproject.org/koji/taskinfo?taskID=98806132 Releases retrieved: 5.80.0 Upstream release that is considered latest: 5.80.0 Current version/release in rawhide: 5.50.0-4.fc39 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://docs.fedoraproject.org/en-US/package-maintainers/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/ To change the monitoring settings for the project, please visit: https://src.fedoraproject.org/rpms/cbmc Created attachment 1954884 [details]
Update to 5.80.0 (#2055971)
the-new-hotness/release-monitoring.org's scratch build of cbmc-5.80.0-1.fc36.src.rpm for rawhide failed http://koji.fedoraproject.org/koji/taskinfo?taskID=99363463 Releases retrieved: 5.81.0 Upstream release that is considered latest: 5.81.0 Current version/release in rawhide: 5.50.0-4.fc39 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://docs.fedoraproject.org/en-US/package-maintainers/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/ To change the monitoring settings for the project, please visit: https://src.fedoraproject.org/rpms/cbmc Created attachment 1957411 [details]
Update to 5.81.0 (#2055971)
the-new-hotness/release-monitoring.org's scratch build of cbmc-5.81.0-1.fc36.src.rpm for rawhide failed http://koji.fedoraproject.org/koji/taskinfo?taskID=99908493 Releases retrieved: 5.82.0 Upstream release that is considered latest: 5.82.0 Current version/release in rawhide: 5.50.0-4.fc39 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://docs.fedoraproject.org/en-US/package-maintainers/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/ To change the monitoring settings for the project, please visit: https://src.fedoraproject.org/rpms/cbmc Created attachment 1960720 [details]
Update to 5.82.0 (#2055971)
the-new-hotness/release-monitoring.org's scratch build of cbmc-5.82.0-1.fc36.src.rpm for rawhide failed http://koji.fedoraproject.org/koji/taskinfo?taskID=100481051 Releases retrieved: 5.83.0 Upstream release that is considered latest: 5.83.0 Current version/release in rawhide: 5.50.0-4.fc39 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://docs.fedoraproject.org/en-US/package-maintainers/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/ To change the monitoring settings for the project, please visit: https://src.fedoraproject.org/rpms/cbmc Scratch build failed. Details below:
FileNotFoundError: [Errno 2] No such file or directory: '/var/tmp/thn-w9wafstc/N)'
Traceback:
File "/usr/local/lib/python3.11/site-packages/hotness/use_cases/package_scratch_build_use_case.py", line 56, in build
result = self.builder.build(request.package, request.opts)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/usr/local/lib/python3.11/site-packages/hotness/builders/koji.py", line 235, in build
output["build_id"] = self._scratch_build(session, package.name, srpm)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/usr/local/lib/python3.11/site-packages/hotness/builders/koji.py", line 451, in _scratch_build
session.uploadWrapper(source, serverdir)
File "/usr/lib/python3.11/site-packages/koji/__init__.py", line 3243, in uploadWrapper
self.fastUpload(localfile, path, name, callback, blocksize, overwrite, volume=volume)
File "/usr/lib/python3.11/site-packages/koji/__init__.py", line 3121, in fastUpload
fo = open(localfile, 'rb')
^^^^^^^^^^^^^^^^^^^^^
If you think this issue is caused by some bug in the-new-hotness, please report it on the-new-hotness issue tracker: https://github.com/fedora-infra/the-new-hotness/issues
Releases retrieved: 5.84.0 Upstream release that is considered latest: 5.84.0 Current version/release in rawhide: 5.50.0-4.fc39 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://docs.fedoraproject.org/en-US/package-maintainers/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/ To change the monitoring settings for the project, please visit: https://src.fedoraproject.org/rpms/cbmc Created attachment 1966890 [details]
Update to 5.84.0 (#2055971)
the-new-hotness/release-monitoring.org's scratch build of cbmc-5.84.0-1.fc38.src.rpm for rawhide failed http://koji.fedoraproject.org/koji/taskinfo?taskID=101532063 Releases retrieved: 5.85.0 Upstream release that is considered latest: 5.85.0 Current version/release in rawhide: 5.50.0-4.fc39 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://docs.fedoraproject.org/en-US/package-maintainers/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/ To change the monitoring settings for the project, please visit: https://src.fedoraproject.org/rpms/cbmc Created attachment 1969799 [details]
Update to 5.85.0 (#2055971)
the-new-hotness/release-monitoring.org's scratch build of cbmc-5.85.0-1.fc38.src.rpm for rawhide failed http://koji.fedoraproject.org/koji/taskinfo?taskID=101944452 Releases retrieved: 5.86.0 Upstream release that is considered latest: 5.86.0 Current version/release in rawhide: 5.50.0-4.fc39 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://docs.fedoraproject.org/en-US/package-maintainers/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/ To change the monitoring settings for the project, please visit: https://src.fedoraproject.org/rpms/cbmc Created attachment 1972232 [details]
Update to 5.86.0 (#2055971)
the-new-hotness/release-monitoring.org's scratch build of cbmc-5.86.0-1.fc38.src.rpm for rawhide failed http://koji.fedoraproject.org/koji/taskinfo?taskID=102487220 Releases retrieved: 5.87.0 Upstream release that is considered latest: 5.87.0 Current version/release in rawhide: 5.50.0-4.fc39 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://docs.fedoraproject.org/en-US/package-maintainers/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/ To change the monitoring settings for the project, please visit: https://src.fedoraproject.org/rpms/cbmc Created attachment 1974324 [details]
Update to 5.87.0 (#2055971)
the-new-hotness/release-monitoring.org's scratch build of cbmc-5.87.0-1.fc38.src.rpm for rawhide failed http://koji.fedoraproject.org/koji/taskinfo?taskID=103003902 Releases retrieved: 5.88.0 Upstream release that is considered latest: 5.88.0 Current version/release in rawhide: 5.50.0-4.fc39 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://docs.fedoraproject.org/en-US/package-maintainers/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/ To change the monitoring settings for the project, please visit: https://src.fedoraproject.org/rpms/cbmc Created attachment 1976827 [details]
Update to 5.88.0 (#2055971)
the-new-hotness/release-monitoring.org's scratch build of cbmc-5.88.0-1.fc38.src.rpm for rawhide failed http://koji.fedoraproject.org/koji/taskinfo?taskID=103652139 Releases retrieved: 5.88.1 Upstream release that is considered latest: 5.88.1 Current version/release in rawhide: 5.50.0-6.fc39 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://docs.fedoraproject.org/en-US/package-maintainers/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/ To change the monitoring settings for the project, please visit: https://src.fedoraproject.org/rpms/cbmc Created attachment 1977404 [details]
Update to 5.88.1 (#2055971)
the-new-hotness/release-monitoring.org's scratch build of cbmc-5.88.1-1.fc38.src.rpm for rawhide failed http://koji.fedoraproject.org/koji/taskinfo?taskID=103869516 Releases retrieved: 5.89.0 Upstream release that is considered latest: 5.89.0 Current version/release in rawhide: 5.50.0-6.fc39 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://docs.fedoraproject.org/en-US/package-maintainers/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/ To change the monitoring settings for the project, please visit: https://src.fedoraproject.org/rpms/cbmc Created attachment 1981581 [details]
Update to 5.89.0 (#2055971)
the-new-hotness/release-monitoring.org's scratch build of cbmc-5.89.0-1.fc38.src.rpm for rawhide failed http://koji.fedoraproject.org/koji/taskinfo?taskID=104337064 |