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

Name:	csmock-plugin-cbmc
Version:	3.5.0
Release:	1.el7
Architecture:	noarch
Group:	Unspecified
Size:	12198
License:	GPL-3.0-or-later
RPM:	csmock-plugin-cbmc-3.5.0-1.el7.noarch.rpm
Source RPM:	csmock-3.5.0-1.el7.src.rpm
Build Date:	Thu Oct 19 2023
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.

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
```
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 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
```
Tue Jun 21 2022 Kamil Dudka <kdudka@redhat.com> 3.3.3-1
```
- update to latest upstream release
```
Mon May 09 2022 Kamil Dudka <kdudka@redhat.com> 3.3.2-1
```
- update to latest upstream release
```

Tue Mar 15 2022 Kamil Dudka <kdudka@redhat.com> 3.3.1-2

- verify GPG signature of upstream tarball when building the package

Tue Mar 15 2022 Kamil Dudka <kdudka@redhat.com> 3.3.1-1
```
- update to latest upstream release
```