Bug 1873247
|
Description
Upstream Release Monitoring
2020-08-27 17:25:31 UTC
Created attachment 1712862 [details]
[patch] Update to 5.13.0 (#1873247)
Latest upstream release: 5.13.1 Current version/release in rawhide: 5.13.0-1.fc34 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 1713626 [details]
[patch] Update to 5.13.1 (#1873247)
the-new-hotness/release-monitoring.org's scratch build of cbmc-5.13.1-1.fc32.src.rpm for rawhide completed http://koji.fedoraproject.org/koji/taskinfo?taskID=50697502 Latest upstream release: 5.14.0 Current version/release in rawhide: 5.13.0-1.fc34 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 1715071 [details]
[patch] Update to 5.14.0 (#1873247)
Latest upstream release: 5.14.1 Current version/release in rawhide: 5.13.0-1.fc34 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 1715152 [details]
[patch] Update to 5.14.1 (#1873247)
the-new-hotness/release-monitoring.org's scratch build of cbmc-5.14.1-1.fc32.src.rpm for rawhide completed http://koji.fedoraproject.org/koji/taskinfo?taskID=51631886 Latest upstream release: 5.14.2 Current version/release in rawhide: 5.13.0-1.fc34 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 1715259 [details]
[patch] Update to 5.14.2 (#1873247)
the-new-hotness/release-monitoring.org's scratch build of cbmc-5.14.2-1.fc32.src.rpm for rawhide completed http://koji.fedoraproject.org/koji/taskinfo?taskID=51679574 Latest upstream release: 5.14.3 Current version/release in rawhide: 5.13.0-1.fc34 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 1716340 [details]
[patch] Update to 5.14.3 (#1873247)
Latest upstream release: 5.15.0 Current version/release in rawhide: 5.14.3-1.fc34 URL: http://www.cprover.org/cbmc/ Please consult the package updates policy before you issue an update to a stable branch: https://docs.fedoraproject.org/en-US/fesco/Updates_Policy/ More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring Please keep in mind that with any upstream change, there may also be packaging changes that need to be made. Specifically, please remember that it is your responsibility to review the new version to ensure that the licensing is still correct and that no non-free or legally problematic items have been added upstream. Based on the information from anitya: https://release-monitoring.org/project/7591/ One or more of the new sources for this package are identical to the old sources. It's likely this package does not use the version macro in its Source URLs. If possible, please update the specfile to include the version macro in the Source URLs Latest upstream release: 5.16.0 Current version/release in rawhide: 5.15.0-1.fc34 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/ An HTTP error occurred downloading the package's new Source URLs: Getting https://github.com/vmihalko/cbmc-utils/archive/v1.0/cbmc-utils-1.0.tar.gz to ./cbmc-utils-1.0.tar.gz Latest upstream release: 5.17.0 Current version/release in rawhide: 5.15.0-1.fc34 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/ An HTTP error occurred downloading the package's new Source URLs: Getting https://github.com/vmihalko/cbmc-utils/archive/v1.0/cbmc-utils-1.0.tar.gz to ./cbmc-utils-1.0.tar.gz Latest upstream release: 5.18.0 Current version/release in rawhide: 5.17.0-1.fc34 URL: http://www.cprover.org/cbmc/ Please consult the package updates policy before you issue an update to a stable branch: https://docs.fedoraproject.org/en-US/fesco/Updates_Policy/ More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring Please keep in mind that with any upstream change, there may also be packaging changes that need to be made. Specifically, please remember that it is your responsibility to review the new version to ensure that the licensing is still correct and that no non-free or legally problematic items have been added upstream. Based on the information from anitya: https://release-monitoring.org/project/7591/ One or more of the new sources for this package are identical to the old sources. This is most likely caused either by identical source files between releases, for example service files, or the specfile does not use version macro in its source URLs. If this is the second case, then please update the specfile to use version macro in its source URLs. Created attachment 1728980 [details]
[patch] Update to 5.18.0 (#1873247)
Latest upstream release: 5.19.0 Current version/release in rawhide: 5.17.0-1.fc34 URL: http://www.cprover.org/cbmc/ Please consult the package updates policy before you issue an update to a stable branch: https://docs.fedoraproject.org/en-US/fesco/Updates_Policy/ More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring Please keep in mind that with any upstream change, there may also be packaging changes that need to be made. Specifically, please remember that it is your responsibility to review the new version to ensure that the licensing is still correct and that no non-free or legally problematic items have been added upstream. Based on the information from anitya: https://release-monitoring.org/project/7591/ One or more of the new sources for this package are identical to the old sources. This is most likely caused either by identical source files between releases, for example service files, or the specfile does not use version macro in its source URLs. If this is the second case, then please update the specfile to use version macro in its source URLs. Created attachment 1733746 [details]
[patch] Update to 5.19.0 (#1873247)
Latest upstream release: 5.20.0 Current version/release in rawhide: 5.17.0-1.fc34 URL: http://www.cprover.org/cbmc/ Please consult the package updates policy before you issue an update to a stable branch: https://docs.fedoraproject.org/en-US/fesco/Updates_Policy/ More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring Please keep in mind that with any upstream change, there may also be packaging changes that need to be made. Specifically, please remember that it is your responsibility to review the new version to ensure that the licensing is still correct and that no non-free or legally problematic items have been added upstream. Based on the information from anitya: https://release-monitoring.org/project/7591/ One or more of the new sources for this package are identical to the old sources. This is most likely caused either by identical source files between releases, for example service files, or the specfile does not use version macro in its source URLs. If this is the second case, then please update the specfile to use version macro in its source URLs. Created attachment 1738162 [details]
[patch] Update to 5.20.0 (#1873247)
Latest upstream release: 5.20.1 Current version/release in rawhide: 5.17.0-1.fc34 URL: http://www.cprover.org/cbmc/ Please consult the package updates policy before you issue an update to a stable branch: https://docs.fedoraproject.org/en-US/fesco/Updates_Policy/ More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring Please keep in mind that with any upstream change, there may also be packaging changes that need to be made. Specifically, please remember that it is your responsibility to review the new version to ensure that the licensing is still correct and that no non-free or legally problematic items have been added upstream. Based on the information from anitya: https://release-monitoring.org/project/7591/ One or more of the new sources for this package are identical to the old sources. This is most likely caused either by identical source files between releases, for example service files, or the specfile does not use version macro in its source URLs. If this is the second case, then please update the specfile to use version macro in its source URLs. Created attachment 1738341 [details]
[patch] Update to 5.20.1 (#1873247)
Latest upstream release: 5.21.0 Current version/release in rawhide: 5.17.0-1.fc34 URL: http://www.cprover.org/cbmc/ Please consult the package updates policy before you issue an update to a stable branch: https://docs.fedoraproject.org/en-US/fesco/Updates_Policy/ More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring Please keep in mind that with any upstream change, there may also be packaging changes that need to be made. Specifically, please remember that it is your responsibility to review the new version to ensure that the licensing is still correct and that no non-free or legally problematic items have been added upstream. Based on the information from anitya: https://release-monitoring.org/project/7591/ One or more of the new sources for this package are identical to the old sources. This is most likely caused either by identical source files between releases, for example service files, or the specfile does not use version macro in its source URLs. If this is the second case, then please update the specfile to use version macro in its source URLs. Created attachment 1745412 [details]
[patch] Update to 5.21.0 (#1873247)
the-new-hotness/release-monitoring.org's scratch build of cbmc-5.21.0-1.fc32.src.rpm for rawhide failed http://koji.fedoraproject.org/koji/taskinfo?taskID=59135293 Latest upstream release: 5.21.1-exp Current version/release in rawhide: 5.17.0-1.fc34 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/ An HTTP error occurred downloading the package's new Source URLs: Getting https://github.com/vmihalko/cbmc-utils/archive/v1.0/cbmc-utils-1.0.tar.gz to ./cbmc-utils-1.0.tar.gz Latest upstream release: 5.21.2-exp Current version/release in rawhide: 5.17.0-1.fc34 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/ An HTTP error occurred downloading the package's new Source URLs: Getting https://github.com/vmihalko/cbmc-utils/archive/v1.0/cbmc-utils-1.0.tar.gz to ./cbmc-utils-1.0.tar.gz Latest upstream release: 5.21.3-exp Current version/release in rawhide: 5.17.0-1.fc34 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/ An HTTP error occurred downloading the package's new Source URLs: Getting https://github.com/vmihalko/cbmc-utils/archive/v1.0/cbmc-utils-1.0.tar.gz to ./cbmc-utils-1.0.tar.gz Latest upstream release: 5.21.6-exp Current version/release in rawhide: 5.17.0-1.fc34 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/ An HTTP error occurred downloading the package's new Source URLs: Getting https://github.com/vmihalko/cbmc-utils/archive/v1.0/cbmc-utils-1.0.tar.gz to ./cbmc-utils-1.0.tar.gz Latest upstream release: 5.22.0 Current version/release in rawhide: 5.17.0-1.fc34 URL: http://www.cprover.org/cbmc/ Please consult the package updates policy before you issue an update to a stable branch: https://docs.fedoraproject.org/en-US/fesco/Updates_Policy/ More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring Please keep in mind that with any upstream change, there may also be packaging changes that need to be made. Specifically, please remember that it is your responsibility to review the new version to ensure that the licensing is still correct and that no non-free or legally problematic items have been added upstream. Based on the information from anitya: https://release-monitoring.org/project/7591/ One or more of the new sources for this package are identical to the old sources. This is most likely caused either by identical source files between releases, for example service files, or the specfile does not use version macro in its source URLs. If this is the second case, then please update the specfile to use version macro in its source URLs. Created attachment 1749480 [details]
[patch] Update to 5.22.0 (#1873247)
the-new-hotness/release-monitoring.org's scratch build of cbmc-5.22.0-1.fc32.src.rpm for rawhide failed http://koji.fedoraproject.org/koji/taskinfo?taskID=60159218 Latest upstream release: 5.23.0 Current version/release in rawhide: 5.17.0-1.fc34 URL: http://www.cprover.org/cbmc/ Please consult the package updates policy before you issue an update to a stable branch: https://docs.fedoraproject.org/en-US/fesco/Updates_Policy/ More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring Please keep in mind that with any upstream change, there may also be packaging changes that need to be made. Specifically, please remember that it is your responsibility to review the new version to ensure that the licensing is still correct and that no non-free or legally problematic items have been added upstream. Based on the information from anitya: https://release-monitoring.org/project/7591/ One or more of the new sources for this package are identical to the old sources. This is most likely caused either by identical source files between releases, for example service files, or the specfile does not use version macro in its source URLs. If this is the second case, then please update the specfile to use version macro in its source URLs. Created attachment 1755075 [details]
[patch] Update to 5.23.0 (#1873247)
the-new-hotness/release-monitoring.org's scratch build of cbmc-5.23.0-1.fc32.src.rpm for rawhide failed http://koji.fedoraproject.org/koji/taskinfo?taskID=61304302 Latest upstream release: 5.24.0 Current version/release in rawhide: 5.17.0-1.fc34 URL: http://www.cprover.org/cbmc/ Please consult the package updates policy before you issue an update to a stable branch: https://docs.fedoraproject.org/en-US/fesco/Updates_Policy/ More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring Please keep in mind that with any upstream change, there may also be packaging changes that need to be made. Specifically, please remember that it is your responsibility to review the new version to ensure that the licensing is still correct and that no non-free or legally problematic items have been added upstream. Based on the information from anitya: https://release-monitoring.org/project/7591/ One or more of the new sources for this package are identical to the old sources. This is most likely caused either by identical source files between releases, for example service files, or the specfile does not use version macro in its source URLs. If this is the second case, then please update the specfile to use version macro in its source URLs. Created attachment 1757782 [details]
[patch] Update to 5.24.0 (#1873247)
the-new-hotness/release-monitoring.org's scratch build of cbmc-5.24.0-1.fc32.src.rpm for rawhide failed http://koji.fedoraproject.org/koji/taskinfo?taskID=62219961 Latest upstream release: 5.25.0 Current version/release in rawhide: 5.24.0-1.fc35 URL: http://www.cprover.org/cbmc/ Please consult the package updates policy before you issue an update to a stable branch: https://docs.fedoraproject.org/en-US/fesco/Updates_Policy/ More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring Please keep in mind that with any upstream change, there may also be packaging changes that need to be made. Specifically, please remember that it is your responsibility to review the new version to ensure that the licensing is still correct and that no non-free or legally problematic items have been added upstream. Based on the information from anitya: https://release-monitoring.org/project/7591/ One or more of the new sources for this package are identical to the old sources. This is most likely caused either by identical source files between releases, for example service files, or the specfile does not use version macro in its source URLs. If this is the second case, then please update the specfile to use version macro in its source URLs. Created attachment 1760698 [details]
[patch] Update to 5.25.0 (#1873247)
the-new-hotness/release-monitoring.org's scratch build of cbmc-5.25.0-1.fc32.src.rpm for rawhide completed http://koji.fedoraproject.org/koji/taskinfo?taskID=63073837 Latest upstream release: 5.26.0 Current version/release in rawhide: 5.25.0-2.fc35 URL: http://www.cprover.org/cbmc/ Please consult the package updates policy before you issue an update to a stable branch: https://docs.fedoraproject.org/en-US/fesco/Updates_Policy/ More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring Please keep in mind that with any upstream change, there may also be packaging changes that need to be made. Specifically, please remember that it is your responsibility to review the new version to ensure that the licensing is still correct and that no non-free or legally problematic items have been added upstream. Based on the information from anitya: https://release-monitoring.org/project/7591/ One or more of the new sources for this package are identical to the old sources. This is most likely caused either by identical source files between releases, for example service files, or the specfile does not use version macro in its source URLs. If this is the second case, then please update the specfile to use version macro in its source URLs. Created attachment 1764555 [details]
[patch] Update to 5.26.0 (#1873247)
the-new-hotness/release-monitoring.org's scratch build of cbmc-5.26.0-1.fc32.src.rpm for rawhide failed http://koji.fedoraproject.org/koji/taskinfo?taskID=64088089 Latest upstream release: 5.26.1-exp Current version/release in rawhide: 5.25.0-2.fc35 URL: http://www.cprover.org/cbmc/ Please consult the package updates policy before you issue an update to a stable branch: https://docs.fedoraproject.org/en-US/fesco/Updates_Policy/ More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring Please keep in mind that with any upstream change, there may also be packaging changes that need to be made. Specifically, please remember that it is your responsibility to review the new version to ensure that the licensing is still correct and that no non-free or legally problematic items have been added upstream. Based on the information from anitya: https://release-monitoring.org/project/7591/ One or more of the new sources for this package are identical to the old sources. This is most likely caused either by identical source files between releases, for example service files, or the specfile does not use version macro in its source URLs. If this is the second case, then please update the specfile to use version macro in its source URLs. Created attachment 1766044 [details]
[patch] Update to 5.26.1-exp (#1873247)
the-new-hotness/release-monitoring.org's scratch build of cbmc-5.26.1-exp.src.rpm for rawhide failed http://koji.fedoraproject.org/koji/taskinfo?taskID=64526011 Latest upstream release: 5.27.0 Current version/release in rawhide: 5.25.0-2.fc35 URL: http://www.cprover.org/cbmc/ Please consult the package updates policy before you issue an update to a stable branch: https://docs.fedoraproject.org/en-US/fesco/Updates_Policy/ More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring Please keep in mind that with any upstream change, there may also be packaging changes that need to be made. Specifically, please remember that it is your responsibility to review the new version to ensure that the licensing is still correct and that no non-free or legally problematic items have been added upstream. Based on the information from anitya: https://release-monitoring.org/project/7591/ One or more of the new sources for this package are identical to the old sources. This is most likely caused either by identical source files between releases, for example service files, or the specfile does not use version macro in its source URLs. If this is the second case, then please update the specfile to use version macro in its source URLs. Created attachment 1769642 [details]
[patch] Update to 5.27.0 (#1873247)
the-new-hotness/release-monitoring.org's scratch build of cbmc-5.27.0-1.fc32.src.rpm for rawhide failed http://koji.fedoraproject.org/koji/taskinfo?taskID=65332891 Latest upstream release: 5.28.0 Current version/release in rawhide: 5.25.0-2.fc35 URL: http://www.cprover.org/cbmc/ Please consult the package updates policy before you issue an update to a stable branch: https://docs.fedoraproject.org/en-US/fesco/Updates_Policy/ More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring Please keep in mind that with any upstream change, there may also be packaging changes that need to be made. Specifically, please remember that it is your responsibility to review the new version to ensure that the licensing is still correct and that no non-free or legally problematic items have been added upstream. Based on the information from anitya: https://release-monitoring.org/project/7591/ One or more of the new sources for this package are identical to the old sources. This is most likely caused either by identical source files between releases, for example service files, or the specfile does not use version macro in its source URLs. If this is the second case, then please update the specfile to use version macro in its source URLs. Created attachment 1771977 [details]
[patch] Update to 5.28.0 (#1873247)
the-new-hotness/release-monitoring.org's scratch build of cbmc-5.28.0-1.fc32.src.rpm for rawhide failed http://koji.fedoraproject.org/koji/taskinfo?taskID=65943765 Latest upstream release: 5.28.1 Current version/release in rawhide: 5.25.0-2.fc35 URL: http://www.cprover.org/cbmc/ Please consult the package updates policy before you issue an update to a stable branch: https://docs.fedoraproject.org/en-US/fesco/Updates_Policy/ More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring Please keep in mind that with any upstream change, there may also be packaging changes that need to be made. Specifically, please remember that it is your responsibility to review the new version to ensure that the licensing is still correct and that no non-free or legally problematic items have been added upstream. Based on the information from anitya: https://release-monitoring.org/project/7591/ One or more of the new sources for this package are identical to the old sources. This is most likely caused either by identical source files between releases, for example service files, or the specfile does not use version macro in its source URLs. If this is the second case, then please update the specfile to use version macro in its source URLs. Created attachment 1773823 [details]
[patch] Update to 5.28.1 (#1873247)
the-new-hotness/release-monitoring.org's scratch build of cbmc-5.28.1-1.fc32.src.rpm for rawhide failed http://koji.fedoraproject.org/koji/taskinfo?taskID=66347071 Latest upstream release: 5.29.0 Current version/release in rawhide: 5.25.0-2.fc35 URL: http://www.cprover.org/cbmc/ Please consult the package updates policy before you issue an update to a stable branch: https://docs.fedoraproject.org/en-US/fesco/Updates_Policy/ More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring Please keep in mind that with any upstream change, there may also be packaging changes that need to be made. Specifically, please remember that it is your responsibility to review the new version to ensure that the licensing is still correct and that no non-free or legally problematic items have been added upstream. Based on the information from anitya: https://release-monitoring.org/project/7591/ One or more of the new sources for this package are identical to the old sources. This is most likely caused either by identical source files between releases, for example service files, or the specfile does not use version macro in its source URLs. If this is the second case, then please update the specfile to use version macro in its source URLs. Created attachment 1777559 [details]
[patch] Update to 5.29.0 (#1873247)
the-new-hotness/release-monitoring.org's scratch build of cbmc-5.29.0-1.fc32.src.rpm for rawhide failed http://koji.fedoraproject.org/koji/taskinfo?taskID=66952052 Latest upstream release: 5.30.0 Current version/release in rawhide: 5.29.0-1.fc35 URL: http://www.cprover.org/cbmc/ Please consult the package updates policy before you issue an update to a stable branch: https://docs.fedoraproject.org/en-US/fesco/Updates_Policy/ More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring Please keep in mind that with any upstream change, there may also be packaging changes that need to be made. Specifically, please remember that it is your responsibility to review the new version to ensure that the licensing is still correct and that no non-free or legally problematic items have been added upstream. Based on the information from anitya: https://release-monitoring.org/project/7591/ One or more of the new sources for this package are identical to the old sources. This is most likely caused either by identical source files between releases, for example service files, or the specfile does not use version macro in its source URLs. If this is the second case, then please update the specfile to use version macro in its source URLs. Created attachment 1783100 [details]
[patch] Update to 5.30.0 (#1873247)
the-new-hotness/release-monitoring.org's scratch build of cbmc-5.30.0-1.fc32.src.rpm for rawhide failed http://koji.fedoraproject.org/koji/taskinfo?taskID=67881585 Latest upstream release: 5.30.1 Current version/release in rawhide: 5.29.0-1.fc35 URL: http://www.cprover.org/cbmc/ Please consult the package updates policy before you issue an update to a stable branch: https://docs.fedoraproject.org/en-US/fesco/Updates_Policy/ More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring Please keep in mind that with any upstream change, there may also be packaging changes that need to be made. Specifically, please remember that it is your responsibility to review the new version to ensure that the licensing is still correct and that no non-free or legally problematic items have been added upstream. Based on the information from anitya: https://release-monitoring.org/project/7591/ One or more of the new sources for this package are identical to the old sources. This is most likely caused either by identical source files between releases, for example service files, or the specfile does not use version macro in its source URLs. If this is the second case, then please update the specfile to use version macro in its source URLs. Created attachment 1784581 [details]
[patch] Update to 5.30.1 (#1873247)
the-new-hotness/release-monitoring.org's scratch build of cbmc-5.30.1-1.fc32.src.rpm for rawhide failed http://koji.fedoraproject.org/koji/taskinfo?taskID=68216636 Latest upstream release: 5.31.0 Current version/release in rawhide: 5.29.0-1.fc35 URL: http://www.cprover.org/cbmc/ Please consult the package updates policy before you issue an update to a stable branch: https://docs.fedoraproject.org/en-US/fesco/Updates_Policy/ More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring Please keep in mind that with any upstream change, there may also be packaging changes that need to be made. Specifically, please remember that it is your responsibility to review the new version to ensure that the licensing is still correct and that no non-free or legally problematic items have been added upstream. Based on the information from anitya: https://release-monitoring.org/project/7591/ One or more of the new sources for this package are identical to the old sources. This is most likely caused either by identical source files between releases, for example service files, or the specfile does not use version macro in its source URLs. If this is the second case, then please update the specfile to use version macro in its source URLs. Created attachment 1787713 [details]
[patch] Update to 5.31.0 (#1873247)
the-new-hotness/release-monitoring.org's scratch build of cbmc-5.31.0-1.fc32.src.rpm for rawhide failed http://koji.fedoraproject.org/koji/taskinfo?taskID=68887995 Latest upstream release: 5.32.0 Current version/release in rawhide: 5.29.0-1.fc35 URL: http://www.cprover.org/cbmc/ Please consult the package updates policy before you issue an update to a stable branch: https://docs.fedoraproject.org/en-US/fesco/Updates_Policy/ More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring Please keep in mind that with any upstream change, there may also be packaging changes that need to be made. Specifically, please remember that it is your responsibility to review the new version to ensure that the licensing is still correct and that no non-free or legally problematic items have been added upstream. Based on the information from anitya: https://release-monitoring.org/project/7591/ One or more of the new sources for this package are identical to the old sources. This is most likely caused either by identical source files between releases, for example service files, or the specfile does not use version macro in its source URLs. If this is the second case, then please update the specfile to use version macro in its source URLs. Created attachment 1789972 [details]
[patch] Update to 5.32.0 (#1873247)
the-new-hotness/release-monitoring.org's scratch build of cbmc-5.32.0-1.fc32.src.rpm for rawhide failed http://koji.fedoraproject.org/koji/taskinfo?taskID=69795791 Latest upstream release: 5.32.1 Current version/release in rawhide: 5.29.0-1.fc35 URL: http://www.cprover.org/cbmc/ Please consult the package updates policy before you issue an update to a stable branch: https://docs.fedoraproject.org/en-US/fesco/Updates_Policy/ More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring Please keep in mind that with any upstream change, there may also be packaging changes that need to be made. Specifically, please remember that it is your responsibility to review the new version to ensure that the licensing is still correct and that no non-free or legally problematic items have been added upstream. Based on the information from anitya: https://release-monitoring.org/project/7591/ One or more of the new sources for this package are identical to the old sources. This is most likely caused either by identical source files between releases, for example service files, or the specfile does not use version macro in its source URLs. If this is the second case, then please update the specfile to use version macro in its source URLs. Created attachment 1790299 [details]
[patch] Update to 5.32.1 (#1873247)
the-new-hotness/release-monitoring.org's scratch build of cbmc-5.32.1-1.fc32.src.rpm for rawhide failed http://koji.fedoraproject.org/koji/taskinfo?taskID=69872337 Latest upstream release: 5.33.0 Current version/release in rawhide: 5.29.0-1.fc35 URL: http://www.cprover.org/cbmc/ Please consult the package updates policy before you issue an update to a stable branch: https://docs.fedoraproject.org/en-US/fesco/Updates_Policy/ More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring Please keep in mind that with any upstream change, there may also be packaging changes that need to be made. Specifically, please remember that it is your responsibility to review the new version to ensure that the licensing is still correct and that no non-free or legally problematic items have been added upstream. Based on the information from anitya: https://release-monitoring.org/project/7591/ One or more of the new sources for this package are identical to the old sources. This is most likely caused either by identical source files between releases, for example service files, or the specfile does not use version macro in its source URLs. If this is the second case, then please update the specfile to use version macro in its source URLs. Created attachment 1795607 [details]
[patch] Update to 5.33.0 (#1873247)
the-new-hotness/release-monitoring.org's scratch build of cbmc-5.33.0-1.fc32.src.rpm for rawhide failed http://koji.fedoraproject.org/koji/taskinfo?taskID=71002945 Latest upstream release: 5.34.0 Current version/release in rawhide: 5.29.0-1.fc35 URL: http://www.cprover.org/cbmc/ Please consult the package updates policy before you issue an update to a stable branch: https://docs.fedoraproject.org/en-US/fesco/Updates_Policy/ More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring Please keep in mind that with any upstream change, there may also be packaging changes that need to be made. Specifically, please remember that it is your responsibility to review the new version to ensure that the licensing is still correct and that no non-free or legally problematic items have been added upstream. Based on the information from anitya: https://release-monitoring.org/project/7591/ One or more of the new sources for this package are identical to the old sources. This is most likely caused either by identical source files between releases, for example service files, or the specfile does not use version macro in its source URLs. If this is the second case, then please update the specfile to use version macro in its source URLs. Created attachment 1799886 [details]
[patch] Update to 5.34.0 (#1873247)
the-new-hotness/release-monitoring.org's scratch build of cbmc-5.34.0-1.fc32.src.rpm for rawhide failed http://koji.fedoraproject.org/koji/taskinfo?taskID=71568882 Latest upstream release: 5.35.0 Current version/release in rawhide: 5.29.0-1.fc35 URL: http://www.cprover.org/cbmc/ Please consult the package updates policy before you issue an update to a stable branch: https://docs.fedoraproject.org/en-US/fesco/Updates_Policy/ More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring Please keep in mind that with any upstream change, there may also be packaging changes that need to be made. Specifically, please remember that it is your responsibility to review the new version to ensure that the licensing is still correct and that no non-free or legally problematic items have been added upstream. Based on the information from anitya: https://release-monitoring.org/project/7591/ One or more of the new sources for this package are identical to the old sources. This is most likely caused either by identical source files between releases, for example service files, or the specfile does not use version macro in its source URLs. If this is the second case, then please update the specfile to use version macro in its source URLs. Created attachment 1804792 [details]
[patch] Update to 5.35.0 (#1873247)
the-new-hotness/release-monitoring.org's scratch build of cbmc-5.35.0-1.fc32.src.rpm for rawhide failed http://koji.fedoraproject.org/koji/taskinfo?taskID=72477186 |