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

Name:csmock-plugin-cbmc
Version:3.3.3
Release:1.el8
Architecture:noarch
Group:Unspecified
Size:12198
License:GPLv3+
RPM: csmock-plugin-cbmc-3.3.3-1.el8.noarch.rpm
Source RPM: csmock-3.3.3-1.el8.src.rpm
Build Date:Thu Jun 30 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.

Changelog (Show File list) (Show related packages)