Author: Eugeniy Meshcheryakov
Revision Date: 2015-10-12 01:52:19 UTC

[ Stéphane Glondu ]
* Add camlp4 to Build-Depends (closes: #801459)

[ Євгеній Мещеряков ]
* New upstream release
* Depend on libparmap-ocaml (closes: #798263)
* Disable testing for now
* debian/rules adjust the binary renaming code
* Adjust path to the python directory in /usr/bin/spatch
* Pass expanded libdir to configure, the build system does not handle
  variables well
* Upload to experimental because ocaml scripts don't work yet

Author: Eugeniy Meshcheryakov
Revision Date: 2015-05-26 22:10:50 UTC

* New upstream release
* Remove patches:
  - no-parmap-subdir.diff
* Fix the Vcs-Git control field
* New patch:
  - bash-completion-dir.diff - install bash completion files into the new
    location
* debian/coccinelle.maintscript - remove the obsolete bash completion file
* Build-depend on dh-python
* Pre-depend on dpkg (>= 1.17.14)

Author: Eugeniy Meshcheryakov
Revision Date: 2015-05-26 22:10:50 UTC

* New upstream release
* Remove patches:
  - no-parmap-subdir.diff
* Fix the Vcs-Git control field
* New patch:
  - bash-completion-dir.diff - install bash completion files into the new
    location
* debian/coccinelle.maintscript - remove the obsolete bash completion file
* Build-depend on dh-python
* Pre-depend on dpkg (>= 1.17.14)

Author: Eugeniy Meshcheryakov
Revision Date: 2014-10-03 19:48:44 UTC

* New upstream RC
* Standards-Version 3.9.6 - no changes required

Author: Eugeniy Meshcheryakov
Revision Date: 2012-11-25 15:31:08 UTC

* Add Breaks/Replaces coccinelle (<< 1.0.0~rc7.deb-4) to coccinelle-doc,
  this fixes package upgrades. Thanks to Andreas Beckmann (closes: #694269)
* debian/gbp.conf: set debian-branch to 'wheezy-updates'
* Urgency medium because of a fix for an RC bug

Author: Eugeniy Meshcheryakov
Revision Date: 2010-07-25 01:10:07 UTC

* New upstream release
* Removed patches:
  - system-{pycaml,menhir,ocamlsexp}.diff - upstream build system can handle
    this
  - documentation-paths.diff - the manpage is generated using correct paths
  - documentation-build.diff - build documentation, authors clarified that
    it does not contain Front/Back Covers and Invariant Sections
* New patches:
  - syslibs-depend.diff - fix depend targets when system libraries are used
* Override clean directories in debian/rules: upstream makefile tries to
  clean directories removed in Debian package
* Build and install pdf docs
  - build-depend on texlive-latex-base, texlive-latex-recommended,
    texlive-latex-extra, texlive-fonts-recommended, texlive-fonts-extra
* Do not compress .pdf .cocci and .c files
* Add information about manual license (GFDL-1.3+) into debian/copyright
* Standards-Version 3.9.0 — no changes required
* Install the bash completion file