[ol8_developer_EPEL] csmock-plugin-cbmc-3.3.5-1.el8.noarch

Name:csmock-plugin-cbmc
Version:3.3.5
Release:1.el8
Architecture:noarch
Group:Unspecified
Size:12198
License:GPLv3+
RPM: csmock-plugin-cbmc-3.3.5-1.el8.noarch.rpm
Source RPM: csmock-3.3.5-1.el8.src.rpm
Build Date:Sat Dec 10 2022
Build Host:build-ol8-x86_64.oracle.com
Vendor:Oracle America
URL:https://github.com/csutils/csmock
Summary:csmock plug-in providing the support for cbmc
Description:
This package contains the cbmc plug-in for csmock.

Related Packages (Show Changelog) (Show Filelist)