Author: Stefano Zacchiroli
Revision Date: 2008-12-26 09:53:11 UTC

* Non-maintainer upload.
* fix segfault due to missing Vorbis comment headers (double free).
  Thanks to Steve Kemp for the patch (Closes: #509288)
* debian/changelog: fix syntax error ("urgiency" typo in past entry)
* gnomad2.desktop{,.in}: get rid of deprecated "Encoding" key
  (file is UTF-8 safe)
* debian/control: bump Standards-Version, no changes needed

Author: Daniel Baumann
Revision Date: 2008-07-16 01:09:00 UTC

Merging upstream version 0.9.21+dfsg.

Author: Neil Williams
Revision Date: 2007-11-21 15:20:59 UTC

* Add Debian GPE team to uploaders
* Add cross build support

Author: Julien Danjou
Revision Date: 2006-08-25 15:01:14 UTC

Add manpage (Closes: #380038)

Author: Kevin M. Rosenberg
Revision Date: 2007-12-09 07:47:36 UTC

New upstream

Author: Varun Hiremath
Revision Date: 2008-07-06 00:30:40 UTC

* New upstream release
* Bump Standards-Version to 3.8.0

Author: Julien Danjou
Revision Date: 2006-08-25 15:01:14 UTC

Add manpage (Closes: #380038)

Author: Torsten Werner
Revision Date: 2008-12-04 14:44:38 UTC

New upstream release

Author: Peter Eisentraut
Revision Date: 2008-03-20 13:49:05 UTC

* Updated standards version
* Fixed LSB headers in init.d script (closes: #471100)
* Added Vcs-* control fields
* Added linker option --as-needed

Author: David Watson
Revision Date: 2008-07-12 20:56:15 UTC

* New upstream release
    - Support for -Mvc exim option added. Closes: #433635.
* Add Homepage field and remove Homepage from description.
* Rebuilt with new version of pycentral. Closes: #490469.
* Update to standards version to 3.8.0
    - Update menu sections from Apps to Applications.

Author: Modestas Vainius
Revision Date: 2009-02-15 22:05:58 UTC

* New upstream release.
* Replace all 'applet' references with 'widget' including source and binary
  package names and descriptions in debian/control.
* Improve plasma-widget-weather description.
* Update URL and years in debian/copyright.
* Drop general/enable_standalone_build.diff patch. No longer needed.
* Bump KDE build depends to 4.2.0.

Author: Modestas Vainius
Revision Date: 2009-04-07 11:38:17 UTC

* Replace complex debhelper scripts with simplier cmake.mk.
* Upload to unstable.
* Bump Standards-Version to 3.8.1.

Author: Peter Eisentraut
Revision Date: 2008-03-20 13:49:05 UTC

* Updated standards version
* Fixed LSB headers in init.d script (closes: #471100)
* Added Vcs-* control fields
* Added linker option --as-needed

Author: Gerrit Pape
Revision Date: 2009-06-28 23:19:38 UTC

* debian/rules: add -D_GNU_SOURCE to CFLAGS (thx peter green, closes:
  #527665).
* debian/control: Standards-Version: 3.8.2.0.
* debian/control: Build-Depends: libbg-dev instead of bglibs-dev (has
  been renamed).
* debian/rules: do not ignore 'make clean' error.
* debian/copyright: properly refer to common-licenses/GPL-2, not GPL.

Author: Gerrit Pape
Revision Date: 2005-04-02 17:23:04 UTC

* debian/implicit: update to revision 1.10.
* debian/rules: DEB_BUILD_OPTIONS=diet to optionally build with the diet
  libc instead of glibc; cleanup.
* debian/README.Debian.diet; new: how to build package with the diet
  libc.
* debian/ucspi-unix.docs: add debian/README.Debian.diet.

Author: Jelmer Vernooij
Revision Date: 2008-06-14 18:38:17 UTC

Initial release. (Closes: #486242)

Author: Atsuhito KOHDA
Revision Date: 2006-12-01 07:38:22 UTC

* Removed unnecessary Depends: dvipsk-ja in control.
* Updated rules and control a bit and Standards-Version to 3.7.2.

Author: Dirk Eddelbuettel
Revision Date: 2008-01-05 05:56:20 UTC

* New upstream release 0.2.8 for QuantLib 0.9.0 (Closes: #456873)

* debian/control: Updated Build-Depends: accordingly to QL 0.9.0
* debian/control: Updated Build-Depends: to current R version
* debian/control: Updated Standard-Version: to current version

Author: Atsuhito KOHDA
Revision Date: 2006-12-01 07:38:22 UTC

* Removed unnecessary Depends: dvipsk-ja in control.
* Updated rules and control a bit and Standards-Version to 3.7.2.

Author: Modestas Vainius
Revision Date: 2009-04-07 11:38:17 UTC

* Replace complex debhelper scripts with simplier cmake.mk.
* Upload to unstable.
* Bump Standards-Version to 3.8.1.

Author: Gerrit Pape
Revision Date: 2009-06-28 23:19:38 UTC

* debian/rules: add -D_GNU_SOURCE to CFLAGS (thx peter green, closes:
  #527665).
* debian/control: Standards-Version: 3.8.2.0.
* debian/control: Build-Depends: libbg-dev instead of bglibs-dev (has
  been renamed).
* debian/rules: do not ignore 'make clean' error.
* debian/copyright: properly refer to common-licenses/GPL-2, not GPL.

Author: Atsuhito KOHDA
Revision Date: 2006-12-01 07:38:22 UTC

* Removed unnecessary Depends: dvipsk-ja in control.
* Updated rules and control a bit and Standards-Version to 3.7.2.

Author: Samuel Mimram
Revision Date: 2008-06-09 00:24:20 UTC

[ Stefano Zacchiroli ]
* fix vcs-svn field to point just above the debian/ dir

[ Julien Cristau ]
* Add missing dependencies of libsdl-ocaml-dev on the packages providing the
  various SDL libraries (closes: #471659).

[ Ralf Treinen ]
* Changed doc-base section to Programming/OCaml

[ Samuel Mimram ]
* Remove bashism from rules, closes: #484425.
* Updated standards version to 3.7.3.
* Remove empty /usr/share/lintian/overrides directories.
* Convert copyright and doc-base files in utf8.
* Updated copyright file.

Author: Florian Roscher
Revision Date: 2007-02-10 00:30:24 UTC

Large parts of upstream website has vanished. Correct respectively remove
URLs accordingly from README file, manual file and package description
(Closes: #406153).

Author: Florian Roscher
Revision Date: 2007-02-10 00:30:24 UTC

Large parts of upstream website has vanished. Correct respectively remove
URLs accordingly from README file, manual file and package description
(Closes: #406153).

Author: jhr
Revision Date: 2008-05-22 08:50:47 UTC

* New upstream release
  + When using $allVirtualDomainsUnderOneSSLHost and coming back from the
    signout page or a login error page, the URI was wrongly constructed -
    fixed thanks to Brett Johnson
  + Minor bug fixes and updates
* debian/copyright: updated to new upstream information

Author: Ralf Treinen
Revision Date: 2005-08-08 12:32:36 UTC

* New upstream release.
* Desactivated patch 03gcc40, seems to be fixed by upstream.
* Install upstream NEWS file as /usr/share/doc/*/changelog.

Author: gares
Revision Date: 2008-02-09 16:56:39 UTC

[ Enrico Tassi ]
* rebuild against ocaml 3.10.1
* added Homepage field in control file
* bumped Standards-version to 3.7.3, no changes needed

[ Stefano Zacchiroli ]
* fix vcs-svn field to point just above the debian/ dir

Author: Florian Roscher
Revision Date: 2007-02-10 00:30:24 UTC

Large parts of upstream website has vanished. Correct respectively remove
URLs accordingly from README file, manual file and package description
(Closes: #406153).

Author: Sylvain Le Gall
Revision Date: 2008-06-04 17:21:40 UTC

[ Sylvain Le Gall ]
* Use ocaml 3.10.0-9 for generating .ocamldoc-apiref automatically
  (Closes: #484495)
* Correct OUnit manual section (now Programming/OCaml)
* Upgrade Standards-Version to 3.7.3 (no change)

[ Stefano Zacchiroli ]
* fix vcs-svn field to point just above the debian/ dir

Author: Romain Beauxis
Revision Date: 2008-04-16 17:06:54 UTC

[ Stefano Zacchiroli ]
* fix vcs-svn field to point just above the debian/ dir

[ Julien Cristau ]
* Fix FTBFS with new dpkg-dev by setting CFLAGS correctly in
  debian/rules (closes: 476065).

[ Romain Beauxis ]
* New upstream release, now installs .cmx file
* Changed maintainer to Debian OCaml Maintainers

Author: Hidetaka Iwai
Revision Date: 2005-11-19 19:38:03 UTC

* debian/control, debian/emacsen-install.in:
Added emacs-snapshot (Thanks, Leonardo Boiko <leoboiko@gmail.com>)
(closes: #333470)
* Bumped Standards-Version to 3.6.2.
* debian/copyright: Changed to new FSF address.

Author: Andreas Tille
Revision Date: 2008-03-18 13:27:59 UTC

[ Charles Plessy ]
* Moved the Homepage: field out from the package's description.

[ David Paleino ]
* Updated to Standards-Version 3.7.3 (no changes needed)

[ Andreas Tille ]
* Added myself to Uploaders

Author: GOTO Masanori
Revision Date: 2006-11-23 12:41:33 UTC

* New upstream release. (Closes: #378871)
* New maintainer.
* Delete debian/README.Debian, debian/undocumented.
* Archive bookview tarball, instead of extracting the archive.
* Import bookview 3.1.1 documentation in debian/bookview-3.1.1
  because this version does not have any info files.
* Update debian/bookview.1.
* Use dh_installinfo.
* Use wrapper script bookview.sh to change ja_JP EUC-JP locale mode.
* Fix description typo. (Closes: #299966)
* Add more description explanations. (Closes: #93298)
* Include 3.1.1-1.1 patch in debian/bookview-3.1.1 files. (Closes: #239363)

Author: Colin Tuckley
Revision Date: 2008-05-22 15:02:53 UTC

* Non-maintainer upload.
* Really Fix FTBFS on mips and others (missed part of patch in ddrescue.cc)

Author: Andreas Tille
Revision Date: 2008-03-18 13:27:59 UTC

[ Charles Plessy ]
* Moved the Homepage: field out from the package's description.

[ David Paleino ]
* Updated to Standards-Version 3.7.3 (no changes needed)

[ Andreas Tille ]
* Added myself to Uploaders

Author: GOTO Masanori
Revision Date: 2006-11-23 12:41:33 UTC

* New upstream release. (Closes: #378871)
* New maintainer.
* Delete debian/README.Debian, debian/undocumented.
* Archive bookview tarball, instead of extracting the archive.
* Import bookview 3.1.1 documentation in debian/bookview-3.1.1
  because this version does not have any info files.
* Update debian/bookview.1.
* Use dh_installinfo.
* Use wrapper script bookview.sh to change ja_JP EUC-JP locale mode.
* Fix description typo. (Closes: #299966)
* Add more description explanations. (Closes: #93298)
* Include 3.1.1-1.1 patch in debian/bookview-3.1.1 files. (Closes: #239363)

Author: Julien BLACHE
Revision Date: 2008-01-19 10:54:45 UTC

* debian/control:
  + Drop dependency on libgcj7-1-awt, brought by gij anyway.
  + Bump Standards-Version to 3.7.3 (no changes).
* debian/airport-utils.menu:
  + Move entries under Applications/System/Hardware.

Author: Ivan Kohler
Revision Date: 2008-02-02 11:03:25 UTC

* New upstream release
* Fix debian/rules for perl 5.10 FTBFS, patch from Damyan Ivanov
  (closes: Bug#463536)

Author: Dirk Eddelbuettel
Revision Date: 2007-12-25 12:30:57 UTC

* New upstream release
* As before, re-packaged upstream file QuantLib-docs-0.9.0.html.tar.gz
  as described in the copyright file included with the Debian package.

Author: sugi
Revision Date: 2005-04-01 10:24:22 UTC

add ruby1.8 in Build-Depends. (Closes: #302345)

Author: sugi
Revision Date: 2005-04-01 10:24:22 UTC

add ruby1.8 in Build-Depends. (Closes: #302345)

Author: Guido Günther
Revision Date: 2007-06-15 16:33:33 UTC

fix noise and level calculation for dBm. Thanks to Paul Martin for
feedback and suggestions (Closes: #406947)

Author: Samuel Mimram
Revision Date: 2008-07-14 14:58:23 UTC

* New upstream release.
* Updated standards version to 3.8.0, no changes needed.

Author: Guido Günther
Revision Date: 2007-06-15 16:33:33 UTC

fix noise and level calculation for dBm. Thanks to Paul Martin for
feedback and suggestions (Closes: #406947)

Author: Ivan Kohler
Revision Date: 2008-02-02 11:03:25 UTC

* New upstream release
* Fix debian/rules for perl 5.10 FTBFS, patch from Damyan Ivanov
  (closes: Bug#463536)

Author: Jochen Friedrich
Revision Date: 2006-11-23 12:30:53 UTC

* Acknowledge NMU from Matthias Klose <doko@debian.org>.
* Fix menu entry (Closes: #386409)
* Update watch file for new sourceforge support.

Author: sugi
Revision Date: 2005-04-01 10:24:22 UTC

add ruby1.8 in Build-Depends. (Closes: #302345)

Author: Guido Günther
Revision Date: 2007-06-15 16:33:33 UTC

fix noise and level calculation for dBm. Thanks to Paul Martin for
feedback and suggestions (Closes: #406947)

Author: Tim Brown
Revision Date: 2007-05-22 21:57:35 UTC

* Checksums weren't matching
* Upload sponsored by Philipp Hug <debian@hug.cx>

Author: Andres Mejia
Revision Date: 2008-07-21 18:44:14 UTC

* New upstream release.
* Fix lintian warning for patching and watch file.
* Updated copyright file.
* Bumped Standard-Versions to 3.8.0.

Author: Romain Beauxis
Revision Date: 2008-04-16 02:09:41 UTC

[ Stefano Zacchiroli ]
* fix vcs-svn field to point just above the debian/ dir

[ Romain Beauxis ]
* New upstream release, now installs .cmx file
* Changed maintainer to Debian OCaml Maintainers
* Added Samuel Mimram and me as uploaders
* Updated standards to 3.7.3
* Fixed doc-base section

Author: Ryuichi Arafune
Revision Date: 2005-06-09 12:07:55 UTC

New upstream version.

Author: Tim Brown
Revision Date: 2007-05-22 21:57:35 UTC

* Checksums weren't matching
* Upload sponsored by Philipp Hug <debian@hug.cx>

Author: Eric Cooper
Revision Date: 2008-02-04 11:37:29 UTC

[ Eric Cooper ]
* New upstream release
* Added DM-Upload-Allowed to debian/control
* Updated standards version

[ Stefano Zacchiroli ]
* fix vcs-svn field to point just above the debian/ dir

Author: Moritz Muehlenhoff
Revision Date: 2008-03-27 19:32:38 UTC

* Non-maintainer upload.
* Drop dependency on libqt3-compat-headers, which is scheduled for
  removal, patch by Barry deFreese (Closes: #464092)

Author: Stéphane Glondu
Revision Date: 2008-06-21 12:14:12 UTC

* New maintainer (Closes: #486000: ITA: net-acct)
* Acknowledge NMU
* Use debhelper 7: debian/rules rewritten, maintenance scripts
  updated (and partly automatically generated by debhelper)
* Fix handling nostrip build option (Closes: #437610)
* Update Standards-Version to 3.8.0
* Add Homepage field to debian/control
* Fix Lintian warning in debian/changelog
* Use logrotate instead of cron.daily/savelog
* Purging removes log files (Closes: #332495)
* Don't compress perl modules in examples (Closes: #162665)
* Add README.Debian and switch to machine-parsable copyright format,
  as per http://wiki.debian.org/Proposals/CopyrightFormat
* Add LSB short description and status command to init.d script
* Add debian/watch
* Fix incomplete sl2rbl output (Closes: #440335)

Author: Drew Parsons
Revision Date: 2006-07-30 23:33:15 UTC

Forgot to reassign to XSF, dammit!

Author: Piotr Roszatycki
Revision Date: 2008-07-29 15:19:10 UTC

* debian/packages, 020-library_version.patch,
  060-sun.misc.Signal-build.xml.patch:
  - Compiles with commons-cli 1.1. Closes: #458674.

Author: Peter Van Eynde
Revision Date: 2009-04-29 06:31:39 UTC

* New upstream. Major changes:
  + Switched to binary streams underneath and got rid of
    FLEXI-STREAMS dependency
  + Added conditions
  + Exported (an improved version of) AS-KEYWORD
  + Added WITH-CHARACTER-STREAM-SEMANTICS
  + Flush stream when switching chunking off
    (patch by Hans Hübner)
* updated standard version without any real changes
* use dh_prep instead of dh_clean -k

Author: Peter Van Eynde
Revision Date: 2007-12-19 10:54:20 UTC

* Changed to group maintanance
* Corrected Vcs-Git control field
* New upstream version. Major changes:
   + Make Chunga work with AllegroCL's "modern" mode (patch by Ross Jekel)
   + Added *TREAT-SEMICOLON-AS-CONTINUATION*
   + Fixed bug in STREAM-LISTEN
   + Added *ACCEPT-BOGUS-EOLS* (suggested by Sean Ross)
* Moved Homepage: tag
* Swap binary-arch and binary-indep round.
* updated standard version no real changes

Author: az
Revision Date: 2007-06-27 18:22:10 UTC

applied patch by Felix C. Stegerman to fix #425467
without messing up the PATH for everything one might execute
after proc::pid::file is done (closes: #430629)

Author: Piotr Roszatycki
Revision Date: 2008-07-29 15:19:10 UTC

* debian/packages, 020-library_version.patch,
  060-sun.misc.Signal-build.xml.patch:
  - Compiles with commons-cli 1.1. Closes: #458674.

Author: Peter Van Eynde
Revision Date: 2009-04-29 06:31:39 UTC

* New upstream. Major changes:
  + Switched to binary streams underneath and got rid of
    FLEXI-STREAMS dependency
  + Added conditions
  + Exported (an improved version of) AS-KEYWORD
  + Added WITH-CHARACTER-STREAM-SEMANTICS
  + Flush stream when switching chunking off
    (patch by Hans Hübner)
* updated standard version without any real changes
* use dh_prep instead of dh_clean -k

Author: lamby
Revision Date: 2008-06-07 16:48:14 UTC

* Non-maintainer upload.
* Fix bashisms in debian/rules (Closes: #478378)
* Bump Standards-Version to 3.8.0

Author: lamby
Revision Date: 2008-09-06 16:19:43 UTC

* Non-maintainer upload.
* Replace usage of temporary files based on $ENV{'USER'} to prevent the
  possibility of a symlink-based attack. (Closes: #496435)

Author: Aurelien Jarno
Revision Date: 2006-12-10 20:38:30 UTC

* Porter NMU.
* Added support for GNU/kFreeBSD, patch from the BTS (closes: bug#341598).

Author: lamby
Revision Date: 2008-06-07 16:48:14 UTC

* Non-maintainer upload.
* Fix bashisms in debian/rules (Closes: #478378)
* Bump Standards-Version to 3.8.0

Author: Sebastian Harl
Revision Date: 2006-07-12 12:54:49 UTC

* New maintainer (Closes: #353619).
* Updated standards version to 3.7.2.
* Removed unnecessary README.Debian.

Author: Sebastian Harl
Revision Date: 2006-07-12 12:54:49 UTC

* New maintainer (Closes: #353619).
* Updated standards version to 3.7.2.
* Removed unnecessary README.Debian.

Author: Faidon Liambotis
Revision Date: 2008-08-12 18:31:38 UTC

Fix FTBFS that was caused by an API change of asterisk; also build-depend
on asterisk-dev >= 1.4.21 to account for this. (Closes: #494217)

Author: Faidon Liambotis
Revision Date: 2008-08-12 18:31:38 UTC

Fix FTBFS that was caused by an API change of asterisk; also build-depend
on asterisk-dev >= 1.4.21 to account for this. (Closes: #494217)

Author: Daniel Baumann
Revision Date: 2008-06-22 11:31:00 UTC

Adding debug package.

Author: Dominic Hargreaves
Revision Date: 2008-02-26 22:00:46 UTC

* Fix debian/rules rmdir bug (closes: 467686)
* Update Standards-Version (no changes)
* Standardize debian/watch format
* debian/control: add Homepage field
* Fix make distclean lintian warning

Author: Sebastian Harl
Revision Date: 2006-07-12 12:54:49 UTC

* New maintainer (Closes: #353619).
* Updated standards version to 3.7.2.
* Removed unnecessary README.Debian.

Author: Faidon Liambotis
Revision Date: 2008-08-12 18:31:38 UTC

Fix FTBFS that was caused by an API change of asterisk; also build-depend
on asterisk-dev >= 1.4.21 to account for this. (Closes: #494217)

Author: Petter Reinholdtsen
Revision Date: 2008-07-26 12:09:17 UTC

Fix install failure due to bug in compatibility code for debian-edu-
config (Closes: #492444).

Author: Aaron M. Ucko
Revision Date: 2008-06-14 18:10:04 UTC

* Migrate from CDBS to Debhelper 7.
* Explicitly note distinction between main and non-free in debian/copyright.
* Declare compliance with Policy 3.8.0.

Author: Daniel Leidert
Revision Date: 2008-03-10 01:01:40 UTC

* debian/control (Build-Depends): Fixed build-depends-on-1-revision lintian
  warning. s/refblas3-dev/libblas-dev and s/lapack3-dev/liblapack-dev
  transition and added gfortran (closes: #463948). Increased mopac7/mpqc and
  libghemical dependency.
  (Uploaders): Added myself.
  (XS-DM-Upload-Allowed): Removed XS- prefix as of dpkg 1.14.16.
* debian/copyright: Fixed (obsolete national) encoding and added the missing
  Copyright field. Thanks to lintian.
* debian/dirs: Removed directories we don't need to care about here.
* debian/ghemical.1: Small improvements. Added missing options and
  references.
* debian/ghemical.desktop: Updated to comply with fd.o specification.
* debian/rules: Added noopt handling by defining CFLAGS/CXXFLAGS.
  (VERSION): Get the version automatically.
  (configure-stamp): Dropped in favour of config.status. gfortran
  transition (see #463948). Reorder variables to make configure remember
  them. Added CFLAGS/CXXFLAGS.
  (build): Use DESTDIR instead to "misuse" prefix.
  (build, binary-arch): Install the .desktop file via dh_install.
  (binary-arch): Removed useless debhelper script calls. Fixed dangling
  documentation symlink.
  (.PHONY): configure is a real file, not a PHONY target.
* debian/patches/447628_fix_spin_multiplicity_code.dpatch: Added.
  - src/gtk_setup_dialog.cpp (gtk_setup_dialog): Set spin multiplicity to a
    fixed value of 1 (closes: #447628).
* debian/patches/00list: Adjusted.

Author: Dominic Hargreaves
Revision Date: 2008-02-26 22:00:46 UTC

* Fix debian/rules rmdir bug (closes: 467686)
* Update Standards-Version (no changes)
* Standardize debian/watch format
* debian/control: add Homepage field
* Fix make distclean lintian warning

Author: Javier Fernández-Sanguino
Revision Date: 2005-03-22 02:34:15 UTC

* Lintian fixes:
  * Fixed location of manpage and binaries
  * Fixed menu file
  * Fixed the manpages' header

Author: Javier Fernández-Sanguino
Revision Date: 2005-03-22 02:34:15 UTC

* Lintian fixes:
  * Fixed location of manpage and binaries
  * Fixed menu file
  * Fixed the manpages' header

Author: Vincent Danjean
Revision Date: 2007-11-24 17:14:47 UTC

Initial Release (ITP Closes: 452714)

Author: Aaron M. Ucko
Revision Date: 2008-06-14 18:10:04 UTC

* Migrate from CDBS to Debhelper 7.
* Explicitly note distinction between main and non-free in debian/copyright.
* Declare compliance with Policy 3.8.0.

Author: Dirk Eddelbuettel
Revision Date: 2008-05-02 19:34:51 UTC

* New upstream release
* debian/control: Set (Build-)Depends: to current R version

Author: Javier Fernández-Sanguino
Revision Date: 2005-03-22 02:34:15 UTC

* Lintian fixes:
  * Fixed location of manpage and binaries
  * Fixed menu file
  * Fixed the manpages' header

Author: Peter Collingbourne
Revision Date: 2008-01-15 01:35:54 UTC

* Initial release (closes: #460813)
* my_setup.py, partition_input.py: removed Python-2.5isms from code
* debian/setup.py: wrote distutils script
* files.py, prover9-mace4.py: point to correct file locations

Author: Peter Collingbourne
Revision Date: 2009-05-03 16:00:55 UTC

[ Sandro Tosi ]
* debian/control
  - switch Vcs-Browser field to viewsvn

[ Marco Rodrigues ]
* debian/control:
  + Add ${misc:Depends} to Depends to remove
    lintian warning.

[ Peter Collingbourne ]
* debian/install: removed shell brace expansion
* debian/prover9-mace4.1, debian/control, debian/copyright: changed
  maintainer email address
* debian/copyright: updated year, use correct declaration of
  copyright, refer to version of GPL
* debian/control: updated Standards-Version
* debian/patches/04-64bit.patch: added; Prover9-Mace4 can now start on
  64-bit platforms (closes: #526685)
* debian/control: added DM-Upload-Allowed: yes

Author: Riku Voipio
Revision Date: 2008-11-07 21:12:03 UTC

* Non-maintainer upload.
* Use libtool as is instead of re-inventing it Makefile, closes: #497160

Author: Christoph Haas
Revision Date: 2008-09-18 23:27:05 UTC

Fixing minor lintian warnings.

Author: Christoph Haas
Revision Date: 2006-10-22 20:33:21 UTC

* New upstream release
* Patch from Sebastian Dröge included to avoid libcairo dependency.

Author: Michal Čihař
Revision Date: 2008-01-31 14:15:49 UTC

* Update policy to 3.7.3 (no changes needed).
* Add lintian override for empty directories in blog template.
* Adjusted Vcs-* headers to point to trunk.
* Add dependency on bsdmainutils, needed for cal.

Author: Dirk Eddelbuettel
Revision Date: 2008-06-27 17:08:23 UTC

* New upstream release

* debian/control: Update Build-Depends: to current R version 2.7.1
* debian/control: Update Standards-Version: to current version 3.8.0

Author: Julien Valroff
Revision Date: 2008-07-09 17:40:38 UTC

[ Julien Valroff ]
* First upload to Debian (Closes: #413240)

[ Maximiliano Curia ]
* Added 001_makefile.dpatch, to fix some erroneous directory creation.
* Added 002_manpage.dpatch, to change some erroneous comment lines.
* Added Maximiliano Curia as Uploader.

Author: Christoph Haas
Revision Date: 2008-09-18 23:27:05 UTC

Fixing minor lintian warnings.

Author: Stefano Zacchiroli
Revision Date: 2007-12-31 17:58:57 UTC

modify debian/watch to grep for version numbers in the HTML, to avoid 403
errors (Closes: #450004)

Author: Angus Lees
Revision Date: 2004-10-08 19:21:49 UTC

* New upstream release. (Closes: #255664)
  - This version should work with perl 5.8.x
  - Deals with quoted table names (eg DBD::mysql), closes: #251452
  - (0.25 was mostly an upstream sync with the Debian patches)
* Bump standards version to 3.6.1.

Author: Stefano Zacchiroli
Revision Date: 2007-12-31 18:09:32 UTC

* fix vcs-svn field to point just above the debian/ dir
* add Homepage field to debian/control
* update standards-version, no changes needed
* set me as an uploader, d-o-m as the maintainer
* debian/patches: rename 01_build.dpatch - (00list is enough for ordering)
* debian/patches: add missing description to patch build.dpatch
* move expansion of upstream comments to ocamldoc-like comments to a
  separate shell script, to avoid Makefile escaping issues

Author: Stefano Zacchiroli
Revision Date: 2008-01-07 22:07:50 UTC

* new upstream release, reflecting project relocation (closes: #458257)
  - update debian/watch to point to the new download url
  - update Homepage field in debian/control
* fix vcs-svn field to point just above the debian/ dir
* rename upstream/ with tarballs/ and shorten debian/svn-deblayout
  accordingly
  - update debian/patches/00dpatch.conf to point to ../tarballs/
* refresh patch build_with_debug_info to match new upstream

Author: Michael Meskes
Revision Date: 2008-04-21 14:05:34 UTC

* Non-maintainer upload.
* Removed patch 03_configure_ac because it causes an autotools rebuild which
  in turn causes a double build failure. Closes: #442564
* Bumped Standards-Version to 3.7.3, no change needed.
* Removed dependency on autotool, not needed anymore.
* Rearranged debian/rules so "make clean" is called before unpatch target
  because upstream Makefile is buggy.
* Moved homepage from description to its own field.
* Moved copying of config.[sub|guess] to configure target.