csmock-plugin-cbmc-3.8.1-1.el8$>+VV҇؎>=#?#d ! O  &0< B H T  (7Fdp$(F8PS9S:SG H I X Y \ ] ^ b!`d"e"f"l"t"u"v"w#,x#8y#D#P#T#z##Ccsmock-plugin-cbmc3.8.11.el8csmock plug-in providing the support for cbmcThis package contains the cbmc plug-in for csmock.g@buildvm-x86-15.iad2.fedoraproject.org/Fedora ProjectFedora ProjectGPL-3.0-or-laterFedora ProjectUnspecifiedhttps://github.com/csutils/csmocklinuxnoarch  g@g@gN21bf3a8c7e845f9a974f3582dccf20d95932a7c9ca7f5aa4baf27ed649866056c94273499ca89b5eb16ece715e56e2ae6c8cc8f51e8b3d84cea0ecd5fe8fcd7af4b5fe09a239dda9eae6b33bcc889a87bc6d39d486f364fcad8a302d0ffc84ddrootrootrootrootrootrootcsmock-3.8.1-1.el8.src.rpmcsmock-plugin-cbmc@    csexeccsmock-commonpython(abi)rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsXz)3.63.0.4-14.6.0-14.0-15.2-14.14.3gJ@g1f@ff@fz@eeqee%@W;W@W>@W!@V@VU@U@Ua@Ud`@UT@T@T~TTp@T@T[bTT TSSہ@SǺS@SSSNpS S 4@SKamil Dudka - 3.8.1-1Kamil Dudka - 3.8.0-1Kamil Dudka - 3.7.1-1Kamil Dudka - 3.7.0-1Kamil Dudka - 3.6.1-1Kamil Dudka 3.6.0-1Kamil Dudka 3.5.3-1Kamil Dudka 3.5.2-1Kamil Dudka 3.5.1-1Kamil Dudka 3.5.0-1Kamil Dudka 3.4.2-1Kamil Dudka 3.4.1-1Kamil Dudka 3.4.0-1Kamil Dudka 3.3.5-1Kamil Dudka 3.3.4-1Kamil Dudka 3.3.3-1Kamil Dudka 3.3.2-1Kamil Dudka 3.3.1-2Kamil Dudka 3.3.1-1Kamil Dudka 3.3.0-1Kamil Dudka 3.2.0-1Kamil Dudka 3.1.0-1Kamil Dudka 3.0.0-1Kamil Dudka 2.9.0-1Kamil Dudka 2.8.0-1Kamil Dudka 2.7.1-1Kamil Dudka 2.7.0-1Kamil Dudka 2.6.0-1Kamil Dudka 2.5.0-1Fedora Release Engineering - 2.4.0-3Miro Hrončok - 2.4.0-2Kamil Dudka 2.4.0-1Fedora Release Engineering - 2.3.0-5Miro Hrončok - 2.3.0-4Miro Hrončok - 2.3.0-3Fedora Release Engineering - 2.3.0-2Kamil Dudka 2.3.0-1Fedora Release Engineering - 2.2.1-2Kamil Dudka 2.2.1-1Kamil Dudka 2.2.0-1Fedora Release Engineering - 2.1.1-3Miro Hrončok - 2.1.1-2Kamil Dudka 2.1.1-1Fedora Release Engineering - 2.1.0-2Kamil Dudka 2.1.0-1Iryna Shcherbina - 2.0.4-3Fedora Release Engineering - 2.0.4-2Kamil Dudka 2.0.4-1Kamil Dudka 2.0.3-1Fedora Release Engineering - 2.0.2-3Miro Hrončok - 2.0.2-2Kamil Dudka 2.0.2-1Kamil Dudka 2.0.1-1Fedora Release Engineering - 2.0.0-2Kamil Dudka 2.0.0-1Kamil Dudka 1.9.2-1Kamil Dudka 1.9.1-1Kamil Dudka 1.9.0-1Kamil Dudka 1.8.3-1Kamil Dudka 1.8.2-1Fedora Release Engineering - 1.8.1-2Kamil Dudka 1.8.1-1Kamil Dudka 1.8.0-1Kamil Dudka 1.7.2-1Kamil Dudka 1.7.1-1Kamil Dudka 1.7.0-1Kamil Dudka 1.6.1-1Kamil Dudka 1.6.0-1Michael Scherer 1.5.1-2Kamil Dudka 1.5.1-1Kamil Dudka 1.5.0-1Kamil Dudka 1.4.1-1Kamil Dudka 1.4.0-1Kamil Dudka 1.3.2-1Kamil Dudka 1.3.1-1Kamil Dudka 1.2.3-1Kamil Dudka 1.2.2-1Kamil Dudka 1.1.1-1Fedora Release Engineering - 1.0.7-2Kamil Dudka 1.0.7-1Kamil Dudka 1.0.3-2Kamil Dudka 1.0.3-1Kamil Dudka 1.0.2-1- update to latest upstream- update to latest upstream- update to latest upstream- update to latest upstream- update to latest upstream- update to latest upstream (introduces plug-ins for clippy and semgrep)- update to latest upstream (fixes CVE-2024-2243)- update to latest upstream- update to latest upstream- update to latest upstream- update to latest upstream- update to latest upstream- migrate to SPDX license - update to latest upstream release- update to latest upstream release- update to latest upstream release- update to latest upstream release- update to latest upstream release- verify GPG signature of upstream tarball when building the package- update to latest upstream release- update to latest upstream release- update to latest upstream release- update to latest upstream release- update to latest upstream release- update to latest upstream release- update to latest upstream release- update to latest upstream release- update to latest upstream release- update to latest upstream release- update to latest upstream release- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild- Rebuilt for Python 3.9- update to latest upstream release- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild- Rebuilt for Python 3.8.0rc1 (#1748018)- Rebuilt for Python 3.8- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild- update to latest upstream release- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild- update to latest upstream release- update to latest upstream release- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild- Rebuilt for Python 3.7- update to latest upstream release - introduce the experimental bandit plug-in- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild- update to latest upstream release- Build require Python 2 only when needed- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild- update to latest upstream release- update to latest upstream release - update project URL and source URL- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild- Rebuild for Python 3.6- update to latest upstream- update to latest upstream- https://fedoraproject.org/wiki/Changes/Automatic_Provides_for_Python_RPM_Packages- update to latest upstream - force using Python 3- update to latest upstream- update to latest upstream- update to latest upstream- update to latest upstream- update to latest upstream- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild- update to latest upstream- update to latest upstream- update to latest upstream- update to latest upstream- update to latest upstream- update to latest upstream- update to latest upstream (introduces the csbuild subpackage)- fix the description of the csmock-plugin-shellcheck subpackage (#1173134)- update to latest upstream- update to latest upstream- update to latest upstream- update to latest upstream- update to latest upstream- update to latest upstream - install plug-ins to %{python2_sitelib} instead of %{python_sitearch}- update to latest upstream- update to latest upstream- update to latest upstream- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild- update to latest upstream- further spec file improvements per Fedora Review Request (#1066029)- update to new upstream release - abandon RHEL-5 compatibility per Fedora Review Request (#1066029)- packaged for Fedora3.8.1-1.el8cbmc.cpython-36.opt-1.pyccbmc.cpython-36.pyccbmc.py/usr/lib/python3.6/site-packages/csmock/plugins/__pycache__//usr/lib/python3.6/site-packages/csmock/plugins/-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protectiondrpmxz2noarch-redhat-linux-gnupython 3.6 byte-compiledPython script, ASCII text executableRRRhttps://bugz.fedoraproject.org/csmockutf-8d4abe6476e8c2e20ee696a6c68153bea06edfabb22641345045c8ef4f9e6ce5c?07zXZ !#,]"k%YH`SNs؄פ`@T덇CyYP2v"Zj(&#cK)'!zZ?uʋM/ꇪ) Q#5 XYd:BJh}+2J,Kpbj >v.Pxk}@!{/3nm=G 1q׼ԹcYxWrӅ_5Va[KreoݲEIe8ޒd#o eHl?!l fj@OJO봛?')PD8C]y"i1DNm#E<:C3`*0LOes?kG-;ñgF{+zoZX%!"$`{ v3t I,= r6c]-xʼnt^ɥXVܖysС\ $+޷3يcsDz3YEPQP8ulw,v 7Zjܱ;/Ib \ֈWՉs}v2:YJ`:lr+fIK<>S'R .p%!@0e.ڬɫ,.wEbLِ.!NNn5|/ 947O5.Wg~ग़#HA=?T} rƕ" *2~bp^bN MK~;Yzr Ŭzg`8u`ｴ+=:D[gK7kWGqBg7]֕o2\8yIOW>`\MJ9ᓒ\ A̴H1UA@A@ _klZ*jx9(3x_{ڂLbA$%0F± YZ