[ol7_developer_EPEL] csmock-plugin-cbmc-3.0.0-1.el7.noarch

Name:csmock-plugin-cbmc
Version:3.0.0
Release:1.el7
Architecture:noarch
Group:Unspecified
Size:12436
License:GPLv3+
RPM: csmock-plugin-cbmc-3.0.0-1.el7.noarch.rpm
Source RPM: csmock-3.0.0-1.el7.src.rpm
Build Date:Wed Oct 13 2021
Build Host:build-ol7-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.

Filelist (Show Changelog) (Show related packages)