Latest upstream release: 5.51.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 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