Fedora Packages

csmock-plugin-cbmc-3.8.0-1.el8 in Fedora EPEL 8

↵ Return to the main page of csmock-plugin-cbmc
View build
Search for updates

Package Info
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files

Changelog

Date Author Change
2024-11-11 Kamil Dudka <kdudka at redhat dot com> - 3.8.0-1 - update to latest upstream
2024-09-25 Kamil Dudka <kdudka at redhat dot com> - 3.7.1-1 - update to latest upstream
2024-09-06 Kamil Dudka <kdudka at redhat dot com> - 3.7.0-1 - update to latest upstream
2024-08-02 Kamil Dudka <kdudka at redhat dot com> - 3.6.1-1 - update to latest upstream
2024-06-25 Kamil Dudka <kdudka at redhat dot com> 3.6.0-1 - update to latest upstream (introduces plug-ins for clippy and semgrep)
2024-03-20 Kamil Dudka <kdudka at redhat dot com> 3.5.3-1 - update to latest upstream (fixes CVE-2024-2243)
2024-02-29 Kamil Dudka <kdudka at redhat dot com> 3.5.2-1 - update to latest upstream
2024-01-24 Kamil Dudka <kdudka at redhat dot com> 3.5.1-1 - update to latest upstream
2023-10-10 Kamil Dudka <kdudka at redhat dot com> 3.5.0-1 - update to latest upstream
2023-07-21 Kamil Dudka <kdudka at redhat dot com> 3.4.2-1 - update to latest upstream

Dependencies

Provides

  • csmock-plugin-cbmc

Files


Sources on Pagure