| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: coccinelle | Distribution: Fedora Project |
| Version: 1.0.7 | Vendor: Fedora Project |
| Release: 4.el7 | Build date: Tue Dec 11 00:02:34 2018 |
| Group: Development/Libraries | Build host: buildvm-09.phx2.fedoraproject.org |
| Size: 20190157 | Source RPM: coccinelle-1.0.7-4.el7.src.rpm |
| Packager: Fedora Project | |
| Url: http://coccinelle.lip6.fr/ | |
| Summary: Semantic patching for Linux (spatch) | |
Coccinelle is a tool to utilize semantic patches for manipulating C code. It was originally designed to ease maintenance of device drivers in the Linux kernel.
GPLv2
* Mon Dec 10 2018 Richard W.M. Jones <rjones@redhat.com> - 1.0.7-4
- Build for EPEL 7 (x86_64 only).
- Use Python 2 instead of Python 3.
- Disable texlive-ifsym.
- Disable ocaml-num BR, not needed on RHEL 7.
* Thu Nov 08 2018 Richard W.M. Jones <rjones@redhat.com> - 1.0.7-4
- Set PYTHONPATH before testing for python support.
* Thu Nov 08 2018 Richard W.M. Jones <rjones@redhat.com> - 1.0.7-3
- Use autogen script and remove redundent autoreconf.
- Eliminate unsupported --enable-release flag for configure, using
targets instead (all-release when ocamlopt is available).
- Include %check for python support.
- Run tests against non-script spatch so environment variables have effect.
- Thanks: John Friend.
* Thu Nov 08 2018 Richard W.M. Jones <rjones@redhat.com> - 1.0.7-2
- Second attempt at packaging 1.0.7.
- Different way to rebuild autotools.
- Move spatch binary to %_libdir/coccinelle and use spatch wrapper script.
- Package spgen.
* Thu Jul 12 2018 Dominique Martinet <asmadeus@codewreck.org> - 1.0.7-1
- Upgrade to new upstream version 1.0.7
- Add -f to the 'remove generated menhir files' because their presence depend
on the source
- Add another hack to generate a first dummy pyml_stubs lib to make the build
system happy
- RWMJ: Run autoreconf.
- RWMJ: Add and fix bash-completion subpackage.
* Thu Jul 12 2018 Fedora Release Engineering <releng@fedoraproject.org> - 1.0.6-20
- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
* Wed Jul 11 2018 Richard W.M. Jones <rjones@redhat.com> - 1.0.6-19
- OCaml 4.07.0 (final) rebuild.
* Wed Jun 20 2018 Richard W.M. Jones <rjones@redhat.com> - 1.0.6-18
- OCaml 4.07.0-rc1 rebuild.
* Tue Jun 19 2018 Miro Hrončok <mhroncok@redhat.com> - 1.0.6-17
- Rebuilt for Python 3.7
* Wed Feb 07 2018 Fedora Release Engineering <releng@fedoraproject.org> - 1.0.6-16
- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
* Fri Nov 17 2017 Richard W.M. Jones <rjones@redhat.com> - 1.0.6-15
- OCaml 4.06.0 rebuild.
- Temporarily enable -unsafe-string.
- Pass -g to all instances of the compiler.
* Wed Aug 09 2017 Richard W.M. Jones <rjones@redhat.com> - 1.0.6-14
- Bump release and rebuild.
* Tue Aug 08 2017 Richard W.M. Jones <rjones@redhat.com> - 1.0.6-13
- OCaml 4.05.0 rebuild.
* Wed Aug 02 2017 Fedora Release Engineering <releng@fedoraproject.org> - 1.0.6-12
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
* Wed Jul 26 2017 Fedora Release Engineering <releng@fedoraproject.org> - 1.0.6-11
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
* Tue Jun 27 2017 Richard W.M. Jones <rjones@redhat.com> - 1.0.6-10
- Bump release and rebuild.
* Tue Jun 27 2017 Richard W.M. Jones <rjones@redhat.com> - 1.0.6-9
- OCaml 4.04.2 rebuild.
* Fri May 12 2017 Richard W.M. Jones <rjones@redhat.com> - 1.0.6-8
- OCaml 4.04.1 rebuild.
* Wed Feb 15 2017 Igor Gnatenko <ignatenko@redhat.com> - 1.0.6-7
- Rebuild for brp-python-bytecompile
* Fri Feb 10 2017 Fedora Release Engineering <releng@fedoraproject.org> - 1.0.6-6
- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild
* Mon Dec 19 2016 Miro Hrončok <mhroncok@redhat.com> - 1.0.6-5
- Rebuild for Python 3.6
* Wed Nov 09 2016 Dan Horák <dan@danny.cz> - 1.0.6-4
- remove ExcludeArch
* Tue Nov 08 2016 Richard W.M. Jones <rjones@redhat.com> - 1.0.6-3
- Rebuild for OCaml 4.04.0.
- Hide Get_constants2 internal symbol.
* Mon Oct 31 2016 Richard Jones <rjones@redhat.com> - 1.0.6-1
- New upstream version 1.0.6 (RHBZ#1380000).
* Mon Sep 19 2016 Richard Jones <rjones@redhat.com> - 1.0.5-2
- Install OCaml *.cmi files to get scripting support.
* Tue Jul 19 2016 Richard Jones <rjones@redhat.com> - 1.0.5-1
- New upstream version 1.0.5 (RHBZ#1342701).
- Remove upstream patch.
- Don't use parallel builds.
- Don't package spgen.
- Add BR various texlive-* packages.
- Force configure to use python3.
* Tue Jul 19 2016 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.0.4-7
- https://fedoraproject.org/wiki/Changes/Automatic_Provides_for_Python_RPM_Packages
* Mon May 02 2016 Tomas Orsava <torsava@redhat.com> - 1.0.4-6
- Fixed shebang pointing to Python instead of Python 3
* Fri Apr 15 2016 Dominika Krejci <dkrejci@redhat.com> - 1.0.4.-5
- Ported for Python 3 (#1313932)
* Wed Feb 03 2016 Fedora Release Engineering <releng@fedoraproject.org> - 1.0.4-4
- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
* Thu Jan 14 2016 Richard Jones <rjones@redhat.com> - 1.0.4-3
- Apply patch to fix ppc64le builds (thanks Julia Lawall) (RHBZ#1297855).
See also: https://systeme.lip6.fr/pipermail/cocci/2016-January/thread.html#2742
* Wed Jan 06 2016 Richard Jones <rjones@redhat.com> - 1.0.4-2
- Remove bogus python_sitelib definition.
* Tue Nov 03 2015 Richard W.M. Jones <rjones@redhat.com> - 1.0.4-1
- New upstream version 1.0.4.
- Remove the spgen program as it is not meant to be packaged.
- Do not need to delete menhir files.
- Do not install OCaml *.cmi files.
* Tue Oct 27 2015 Richard W.M. Jones <rjones@redhat.com> - 1.0.3-1
- New upstream version 1.0.3.
- Set DYNLINKDIR.
- Unbundle ocaml-menhir, regenerate intermediate parser files.
- Declare that pycaml and parmap are bundled.
- Use 'make world' install of 'make all opt' (see install.txt).
- Add spgen to package. It's broken at the moment - reported upstream.
- Various BRs required to build the documentation.
* Tue Sep 01 2015 Richard W.M. Jones <rjones@redhat.com> - 1.0.2-1
- New upstream version 1.0.2.
- Use standard configure macro instead of ./configure.
- Various fixes to configuration.
- Package OCaml bindings.
* Tue Jul 28 2015 Richard W.M. Jones <rjones@redhat.com> - 1.0.1-5
- OCaml 4.02.3 rebuild.
* Wed Jun 24 2015 Richard W.M. Jones <rjones@redhat.com> - 1.0.1-4
- ocaml-4.02.2 final rebuild.
* Tue Jun 23 2015 Richard W.M. Jones <rjones@redhat.com> - 1.0.1-3
- Put coccinelle data into libdir (instead of /usr/share) since it
contains the binaries.
- Remove all the code which moved the binaries around.
- Fix the spatch wrapper script to contain the correct directory (RHBZ#1234812)
* Thu Jun 18 2015 Richard W.M. Jones <rjones@redhat.com> - 1.0.1-1
- New upstream version 1.0.1 (RHBZ#1233198).
* Wed Jun 17 2015 Richard W.M. Jones <rjones@redhat.com> - 1.0.0-4
- ocaml-4.02.2 rebuild.
* Wed Jun 17 2015 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.0.0-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
* Fri Apr 24 2015 Richard W.M. Jones <rjones@redhat.com> - 1.0.0-2
- Ignore some more internal module names when generating dependencies.
* Thu Apr 23 2015 Richard W.M. Jones <rjones@redhat.com> - 1.0.0-1
- Version 1.0.0(!)
* Tue Feb 17 2015 Richard W.M. Jones <rjones@redhat.com> - 1.0.0-0.rc21.1.5
- ocaml-4.02.1 rebuild.
* Sun Aug 31 2014 Richard W.M. Jones <rjones@redhat.com> - 1.0.0-0.rc21.1.4
- ocaml-4.02.0 final rebuild.
* Sat Aug 23 2014 Richard W.M. Jones <rjones@redhat.com> - 1.0.0-0.rc21.1.3
- ocaml-4.02.0+rc1 rebuild.
* Sat Aug 16 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.0.0-0.rc21.1.2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
* Sat Aug 02 2014 Richard W.M. Jones <rjones@redhat.com> - 1.0.0-0.rc21.1.1
- ocaml-4.02.0-0.8.git10e45753.fc22 rebuild.
* Mon Jul 21 2014 Richard W.M. Jones <rjones@redhat.com> - 1.0.0-0.rc21.1
- New upstream version 1.0.0-rc21.
- OCaml 4.02.0 beta rebuild.
* Sat Jun 07 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.0.0-0.rc20.1.1
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
* Tue Feb 25 2014 Richard W.M. Jones <rjones@redhat.com> - 1.0.0-0.rc20.1
- New upstream version 1.0.0-rc20.
* Thu Sep 19 2013 Richard W.M. Jones <rjones@redhat.com> - 1.0.0-0.rc18.1
- New upstream version 1.0.0-rc18.
- OCaml 4.01.0 rebuild.
- Enable debuginfo.
- Remove strip & prelink hacks.
- Enable test.
* Sat Aug 03 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.0.0-0.rc17.2.1
- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild
* Sat Apr 27 2013 Richard W.M. Jones <rjones@redhat.com> - 1.0.0-0.rc17.2
- Ignore a lot more symbols leaked by the library.
* Fri Apr 26 2013 Richard W.M. Jones <rjones@redhat.com> - 1.0.0-0.rc17.1
- New upstream version 1.0.0-rc17.
* Wed Feb 13 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.0.0-0.rc14.6.1
- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild
* Sun Dec 02 2012 Bruno Wolff III <bruno@wolff.to> - 1.0.0-0.rc14.6
- Rebuild for ocaml 4.0.1.
* Tue Jul 31 2012 Richard W.M. Jones <rjones@redhat.com> - 1.0.0-0.rc14.5
- Remove sexplib patch which is no longer required by upstream.
- Enable parallel building.
* Mon Jul 30 2012 Richard W.M. Jones <rjones@redhat.com> - 1.0.0-0.rc14.3
- Confirmed with upstream that *.so files are no longer required.
- Re-enable move of python libs to python library dir.
* Mon Jul 30 2012 Richard W.M. Jones <rjones@redhat.com> - 1.0.0-0.rc14.2
- New upstream version 1.0.0-rc14.
- +BR ocaml-camlp4-devel
* Mon Jul 30 2012 Richard W.M. Jones <rjones@redhat.com> - 1.0.0-0.rc12.3
- New upstream version 1.0.0-rc12.
- Rebuild for OCaml 4.00.0.
- Remove buildroot, defattr, clean for modern RPM.
- Includes bundled extlib. Disable this by adding BR ocaml-extlib-devel.
- Remove bytecode binary (spatch.byte).
- Fix check rule so it sets COCCINELLE_HOME.
- NB: TEST DISABLED. UNLIKELY THAT SPATCH FUNCTIONS CORRECTLY.
+ Disable _libdir/*.so stripping. Why is it not installed?
+ Disable Python stuff. Why is it not installed?
* Wed Jul 18 2012 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.0.0-0.rc9.6.2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
* Fri Feb 10 2012 Petr Pisar <ppisar@redhat.com> - 1.0.0-0.rc9.6.1
- Rebuild against PCRE 8.30
* Wed Feb 01 2012 Richard W.M. Jones <rjones@redhat.com> - 1.0.0-0.rc9.6
- Update to 1.0.0-rc9 (requested by Julia Lawall).
* Thu Jan 12 2012 Richard W.M. Jones <rjones@redhat.com> - 1.0.0-0.rc8.5
- Ignore Regexp (internal module).
* Sat Jan 07 2012 Richard W.M. Jones <rjones@redhat.com> - 1.0.0-0.rc8.3
- Update to 1.0.0-rc8.
- Rebuild for OCaml 3.12.1.
- Use Fedora ocaml-sexplib, ocaml-pcre instead of forked embedded one.
* Mon Jul 25 2011 Richard W.M. Jones <rjones@redhat.com> - 1.0.0-0.rc4.2
- Update to 1.0.0-rc4.
- Requires ocaml-findlib (RHBZ#725415).
- Non-upstream patch to remove use of a couple of functions from the
forked ocaml sexpr project, so we can use the Fedora one instead.
See: http://lists.diku.dk/pipermail/cocci/2011-January/001439.html
- Include a new manpage in section 3.
* Wed Mar 30 2011 Richard W.M. Jones <rjones@redhat.com> - 0.2.5-0.rc9.1
- Update to 0.2.5-rc9.
- Ignore a bunch more false dependencies.
* Sat Mar 05 2011 Richard W.M. Jones <rjones@redhat.com> - 0.2.5-0.rc4.3
- Bump and rebuild to try to fix dependency issue.
* Tue Feb 08 2011 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.2.5-0.rc4.2.1
- Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild
* Thu Feb 03 2011 Richard W.M. Jones <rjones@redhat.com> - 0.2.5-0.rc4.2
- New upstream version 0.2.5-rc4.
* Mon Jan 10 2011 Richard W.M. Jones <rjones@redhat.com> - 0.2.5-0.rc1.2
- Bump and rebuild.
* Fri Jan 07 2011 Richard W.M. Jones <rjones@redhat.com> - 0.2.5-0.rc1.1
- New upstream version 0.2.5-rc1.
- Remove upstream patch for Python 2.7.
- Rebuild for OCaml 3.12.0.
* Wed Jul 28 2010 Orcan Ogetbil <oget[DOT]fedora[AT]gmail[DOT]com> - 0.2.3-0.rc6.3
- Rebuilt for https://fedoraproject.org/wiki/Features/Python_2.7/MassRebuild
* Sat Jul 24 2010 Richard W.M. Jones <rjones@redhat.com> - 0.2.3-0.rc6.2
- Ignore some bogus generated requires.
* Fri Jul 23 2010 Richard W.M. Jones <rjones@redhat.com> - 0.2.3-0.rc6.1
- Fix for Python 2.7.
* Fri Jul 23 2010 Richard W.M. Jones <rjones@redhat.com> - 0.2.3-0.rc6
- New upstream version 0.2.3rc6.
* Wed Jul 21 2010 David Malcolm <dmalcolm@redhat.com> - 0.2.0-0.rc1.2.1
- Rebuilt for https://fedoraproject.org/wiki/Features/Python_2.7/MassRebuild
* Tue Jan 12 2010 Richard W.M. Jones <rjones@redhat.com> - 0.2.0-0.rc1.2
- New upstream version 0.2.0rc1.
* Thu Nov 05 2009 Richard W.M. Jones <rjones@redhat.com> - 0.1.10-2
- Upstream URL and Source0 changed.
* Thu Oct 08 2009 Richard W.M. Jones <rjones@redhat.com> - 0.1.10-1
- New upstream version 0.1.10.
- Removed patch, since fix to CVE-2009-1753 (RHBZ#502174) is now upstream.
* Fri Jul 24 2009 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.1.8-5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_12_Mass_Rebuild
* Fri May 22 2009 Richard W.M. Jones <rjones@redhat.com> - 0.1.8-4
- New upstream version 0.1.8.
- Include patch from Debian to fix CVE-2009-1753 (RHBZ#502174).
- Segfaults on PPC64, so added to ExcludeArch.
* Thu Apr 16 2009 S390x secondary arch maintainer <fedora-s390x@lists.fedoraproject.org>
- ExcludeArch sparc64, s390, s390x as we don't have OCaml on those archs
(added sparc64 per request from the sparc maintainer)
* Tue Mar 17 2009 Richard W.M. Jones <rjones@redhat.com> - 0.1.5-3
- Make the documentation subpackage "-doc" not "-docs".
- Comment about patch0 and send upstream.
* Mon Mar 16 2009 Richard W.M. Jones <rjones@redhat.com> - 0.1.5-2
- BR python-devel.
* Mon Mar 16 2009 Richard W.M. Jones <rjones@redhat.com> - 0.1.5-1
- New upstream version 0.1.5.
- Use the correct method to get Python sitelib (Michal Schmidt).
* Wed Jan 28 2009 Richard W.M. Jones <rjones@redhat.com> - 0.1.4-8
- Remove useless Makefiles from python/coccilib.
- License is GPLv2 (not GPLv2+).
- Include documentation and demos in subpackages.
- Move python library to a more sensible path.
- Add a check section.
* Mon Jan 26 2009 Richard W.M. Jones <rjones@redhat.com> - 0.1.4-6
- Install the shared library in _libdir.
- Install the native code version if we have the optimizing compiler.
* Wed Jan 21 2009 Richard W.M. Jones <rjones@redhat.com> - 0.1.4-3
- Patch for Python 2.6.
* Wed Jan 21 2009 Richard W.M. Jones <rjones@redhat.com> - 0.1.4-2
- Initial RPM release.
/usr/bin/pycocci /usr/bin/spatch /usr/bin/spgen /usr/lib/python2.7/site-packages/coccilib /usr/lib/python2.7/site-packages/coccilib/__init__.py /usr/lib/python2.7/site-packages/coccilib/__init__.pyc /usr/lib/python2.7/site-packages/coccilib/__init__.pyo /usr/lib/python2.7/site-packages/coccilib/coccigui /usr/lib/python2.7/site-packages/coccilib/coccigui/__init__.py /usr/lib/python2.7/site-packages/coccilib/coccigui/__init__.pyc /usr/lib/python2.7/site-packages/coccilib/coccigui/__init__.pyo /usr/lib/python2.7/site-packages/coccilib/coccigui/coccigui.py /usr/lib/python2.7/site-packages/coccilib/coccigui/coccigui.pyc /usr/lib/python2.7/site-packages/coccilib/coccigui/coccigui.pyo /usr/lib/python2.7/site-packages/coccilib/coccigui/pycoccimodel.py /usr/lib/python2.7/site-packages/coccilib/coccigui/pycoccimodel.pyc /usr/lib/python2.7/site-packages/coccilib/coccigui/pycoccimodel.pyo /usr/lib/python2.7/site-packages/coccilib/coccigui/pygui.glade /usr/lib/python2.7/site-packages/coccilib/coccigui/pygui.gladep /usr/lib/python2.7/site-packages/coccilib/coccigui/vim.py /usr/lib/python2.7/site-packages/coccilib/coccigui/vim.pyc /usr/lib/python2.7/site-packages/coccilib/coccigui/vim.pyo /usr/lib/python2.7/site-packages/coccilib/coccigui/vimcom.py /usr/lib/python2.7/site-packages/coccilib/coccigui/vimcom.pyc /usr/lib/python2.7/site-packages/coccilib/coccigui/vimcom.pyo /usr/lib/python2.7/site-packages/coccilib/coccigui/vimeditor.py /usr/lib/python2.7/site-packages/coccilib/coccigui/vimeditor.pyc /usr/lib/python2.7/site-packages/coccilib/coccigui/vimeditor.pyo /usr/lib/python2.7/site-packages/coccilib/coccigui/vimembed.py /usr/lib/python2.7/site-packages/coccilib/coccigui/vimembed.pyc /usr/lib/python2.7/site-packages/coccilib/coccigui/vimembed.pyo /usr/lib/python2.7/site-packages/coccilib/elems.py /usr/lib/python2.7/site-packages/coccilib/elems.pyc /usr/lib/python2.7/site-packages/coccilib/elems.pyo /usr/lib/python2.7/site-packages/coccilib/iteration.py /usr/lib/python2.7/site-packages/coccilib/iteration.pyc /usr/lib/python2.7/site-packages/coccilib/iteration.pyo /usr/lib/python2.7/site-packages/coccilib/org.py /usr/lib/python2.7/site-packages/coccilib/org.pyc /usr/lib/python2.7/site-packages/coccilib/org.pyo /usr/lib/python2.7/site-packages/coccilib/output.py /usr/lib/python2.7/site-packages/coccilib/output.pyc /usr/lib/python2.7/site-packages/coccilib/output.pyo /usr/lib/python2.7/site-packages/coccilib/report.py /usr/lib/python2.7/site-packages/coccilib/report.pyc /usr/lib/python2.7/site-packages/coccilib/report.pyo /usr/lib/python2.7/site-packages/coccilib/trac.py /usr/lib/python2.7/site-packages/coccilib/trac.pyc /usr/lib/python2.7/site-packages/coccilib/trac.pyo /usr/lib/python2.7/site-packages/coccilib/xml_firehose.py /usr/lib/python2.7/site-packages/coccilib/xml_firehose.pyc /usr/lib/python2.7/site-packages/coccilib/xml_firehose.pyo /usr/lib64/coccinelle /usr/lib64/coccinelle/ocaml /usr/lib64/coccinelle/ocaml/ast0_cocci.cmi /usr/lib64/coccinelle/ocaml/ast_c.cmi /usr/lib64/coccinelle/ocaml/ast_cocci.cmi /usr/lib64/coccinelle/ocaml/coccilib.cmi /usr/lib64/coccinelle/ocaml/commands.cmi /usr/lib64/coccinelle/ocaml/common.cmi /usr/lib64/coccinelle/ocaml/config.cmi /usr/lib64/coccinelle/ocaml/dumper.cmi /usr/lib64/coccinelle/ocaml/exposed_modules.cmi /usr/lib64/coccinelle/ocaml/externalanalysis.cmi /usr/lib64/coccinelle/ocaml/flag.cmi /usr/lib64/coccinelle/ocaml/flag_parsing_c.cmi /usr/lib64/coccinelle/ocaml/iteration.cmi /usr/lib64/coccinelle/ocaml/lexer_c.cmi /usr/lib64/coccinelle/ocaml/lib_parsing_c.cmi /usr/lib64/coccinelle/ocaml/ocamlcocci_aux.cmi /usr/lib64/coccinelle/ocaml/parmap.cmi /usr/lib64/coccinelle/ocaml/parse_c.cmi /usr/lib64/coccinelle/ocaml/parser_c.cmi /usr/lib64/coccinelle/ocaml/prepare_ocamlcocci.cmi /usr/lib64/coccinelle/ocaml/pretty_print_c.cmi /usr/lib64/coccinelle/ocaml/regexp.cmi /usr/lib64/coccinelle/ocaml/run_ocamlcocci.cmi /usr/lib64/coccinelle/ocaml/token_c.cmi /usr/lib64/coccinelle/ocaml/visitor_c.cmi /usr/lib64/coccinelle/ocaml/yes_prepare_ocamlcocci.cmi /usr/lib64/coccinelle/spatch /usr/lib64/coccinelle/standard.h /usr/lib64/coccinelle/standard.iso /usr/lib64/ocaml/ast0_cocci.cmx /usr/lib64/ocaml/ast_c.cmx /usr/lib64/ocaml/ast_cocci.cmx /usr/lib64/ocaml/coccilib.cmx /usr/lib64/ocaml/commands.cmx /usr/lib64/ocaml/common.cmx /usr/lib64/ocaml/config.cmx /usr/lib64/ocaml/dumper.cmx /usr/lib64/ocaml/exposed_modules.cmx /usr/lib64/ocaml/externalanalysis.cmx /usr/lib64/ocaml/flag.cmx /usr/lib64/ocaml/flag_parsing_c.cmx /usr/lib64/ocaml/iteration.cmx /usr/lib64/ocaml/lexer_c.cmx /usr/lib64/ocaml/lib_parsing_c.cmx /usr/lib64/ocaml/ocamlcocci_aux.cmx /usr/lib64/ocaml/parmap.cmx /usr/lib64/ocaml/parse_c.cmx /usr/lib64/ocaml/parser_c.cmx /usr/lib64/ocaml/prepare_ocamlcocci.cmx /usr/lib64/ocaml/pretty_print_c.cmx /usr/lib64/ocaml/regexp.cmx /usr/lib64/ocaml/run_ocamlcocci.cmx /usr/lib64/ocaml/stublibs/dllpyml_stubs.so /usr/lib64/ocaml/token_c.cmx /usr/lib64/ocaml/visitor_c.cmx /usr/lib64/ocaml/yes_prepare_ocamlcocci.cmx /usr/share/doc/coccinelle-1.0.7 /usr/share/doc/coccinelle-1.0.7/authors.txt /usr/share/doc/coccinelle-1.0.7/bugs.txt /usr/share/doc/coccinelle-1.0.7/changes.txt /usr/share/doc/coccinelle-1.0.7/credits.txt /usr/share/doc/coccinelle-1.0.7/install.txt /usr/share/doc/coccinelle-1.0.7/readme.txt /usr/share/licenses/coccinelle-1.0.7 /usr/share/licenses/coccinelle-1.0.7/copyright.txt /usr/share/licenses/coccinelle-1.0.7/license.txt /usr/share/man/man1/pycocci.1.gz /usr/share/man/man1/spatch.1.gz /usr/share/man/man1/spgen.1.gz /usr/share/man/man3/Coccilib.3cocci.gz
Generated by rpm2html 1.8.1
Fabrice Bellet, Tue Jul 9 13:11:04 2024