Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: csmock-plugin-cbmc | Distribution: Fedora Project |
Version: 3.6.0 | Vendor: Fedora Project |
Release: 1.fc40 | Build date: Tue Jun 25 12:32:29 2024 |
Group: Unspecified | Build host: buildvm-ppc64le-17.iad2.fedoraproject.org |
Size: 15648 | Source RPM: csmock-3.6.0-1.fc40.src.rpm |
Packager: Fedora Project | |
Url: https://github.com/csutils/csmock | |
Summary: csmock plug-in providing the support for cbmc |
This package contains the cbmc plug-in for csmock.
GPL-3.0-or-later
* Tue Jun 25 2024 Kamil Dudka <kdudka@redhat.com> 3.6.0-1 - update to latest upstream (introduces plug-ins for clippy and semgrep) * Fri Jun 07 2024 Python Maint <python-maint@redhat.com> - 3.5.3-2 - Rebuilt for Python 3.13 * Wed Mar 20 2024 Kamil Dudka <kdudka@redhat.com> 3.5.3-1 - update to latest upstream (fixes CVE-2024-2243) * Thu Feb 29 2024 Kamil Dudka <kdudka@redhat.com> 3.5.2-1 - update to latest upstream * Wed Jan 24 2024 Kamil Dudka <kdudka@redhat.com> 3.5.1-1 - update to latest upstream * Wed Jan 24 2024 Fedora Release Engineering <releng@fedoraproject.org> - 3.5.0-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Fri Jan 19 2024 Fedora Release Engineering <releng@fedoraproject.org> - 3.5.0-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Tue Oct 10 2023 Kamil Dudka <kdudka@redhat.com> 3.5.0-1 - update to latest upstream * Fri Jul 21 2023 Kamil Dudka <kdudka@redhat.com> 3.4.2-1 - update to latest upstream * Wed Jul 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 3.4.1-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild * Tue Jun 13 2023 Python Maint <python-maint@redhat.com> - 3.4.1-2 - Rebuilt for Python 3.12 * Thu Apr 06 2023 Kamil Dudka <kdudka@redhat.com> 3.4.1-1 - update to latest upstream * Wed Feb 22 2023 Kamil Dudka <kdudka@redhat.com> 3.4.0-1 - migrate to SPDX license - update to latest upstream release * Thu Jan 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 3.3.5-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild * Thu Dec 01 2022 Kamil Dudka <kdudka@redhat.com> 3.3.5-1 - update to latest upstream release * Tue Sep 06 2022 Kamil Dudka <kdudka@redhat.com> 3.3.4-1 - update to latest upstream release * Wed Jul 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 3.3.3-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
/usr/lib/python3.12/site-packages/csmock/plugins/__pycache__/cbmc.cpython-312.opt-1.pyc /usr/lib/python3.12/site-packages/csmock/plugins/__pycache__/cbmc.cpython-312.pyc /usr/lib/python3.12/site-packages/csmock/plugins/cbmc.py
Generated by rpm2html 1.8.1
Fabrice Bellet, Wed Aug 7 04:57:16 2024