Change log for cvc3 package in Debian

cvc3 (2.4.1-5.2) unstable; urgency=medium

  * Non-maintainer upload.
  * No longer build the Java bindings (never used and incompatible
    with recent JDKs)

 -- Emmanuel Bourg <email address hidden>  Thu, 12 Sep 2019 14:15:37 +0200

cvc3 (2.4.1-5.1) unstable; urgency=medium

  * Non-maintainer upload.
  * Use -std=gnu++98 to fix the build with gcc 6. (Closes: #811823)

 -- Adrian Bunk <email address hidden>  Fri, 13 Jan 2017 18:58:49 +0200

cvc3 (2.4.1-5) unstable; urgency=low


  * New maintainer. (Closes: #757192)
  * Fix clean target, resolving ppc64el FTBFS. (Closes: #756524)
  * Update standards version.
  * Fix dep5 copyright.
  * Remove Vcs-git and Vcs-browser (not available for CVC3).
  * Now lintian clean (with some overrides).

 -- Morgan Deters <email address hidden>  Sat, 27 Sep 2014 12:21:27 -0400

Available diffs

• diff from 2.4.1-4ubuntu1 (in Ubuntu) to 2.4.1-5 (3.4 KiB)

cvc3 (2.4.1-4) unstable; urgency=low


  * Transfer package repo to Git.
  * Fix syntax error in debian/copyright.
  * Keep 50cvc3-el.el after remove. (Closes: #684351)
  * Use ln -sf when linking cvc3-el emacsen files. (Closes: #684026)
  * Remove build dep on gcj-native-helper. (Closes: #678183)

 -- Christopher L. Conway <email address hidden>  Sun, 12 Aug 2012 17:15:51 -0400

Available diffs

• diff from 2.4.1-2 to 2.4.1-4 (11.6 KiB)

cvc3 (2.4.1-3) unstable; urgency=low


  * Create new package libcvc3-dev to replace libcvc3-5-dev and
    libcvc3-2-dev (Closes: #662198)
  * Add Replaces/Conflicts to libcvc3-5-jni for libcvc3-2-jni
    (Closes: #662200)
  * Leave .el files in site-lisp directory when installing cvc3-el
    to enable source lookup (Closes: #665319)
  * Remove cvc-mode autoload from site-start.d on cvc3-el removal
    (Closes: #668688)
  * Bring cvc3-el.emacsen-startup in line with Debian policy
    (Closes: #668685)

 -- Christopher L. Conway <email address hidden>  Mon, 16 Apr 2012 22:23:39 -0400

cvc3 (2.4.1-2) unstable; urgency=low


  * Upgrading to standards version 3.9.3
  * Fixing lintian errors
  * Fixing upstream tarball

 -- Christopher L. Conway <email address hidden>  Sat, 03 Mar 2012 18:00:13 -0500

Available diffs

• diff from 2.2-13.1 (in Ubuntu) to 2.4.1-2 (142.6 KiB)

cvc3 (2.2-13.1) unstable; urgency=low
  * NMU.  Change dependencies libgmp3-dev --> libgmp-dev. -- Steve M. Robbins <email address hidden>  Wed, 16 Mar 2011 21:43:31 -0500

cvc3 (2.2-13) unstable; urgency=low


  * Prevent Java tests from running on kfreebsd-amd64

 -- Christopher L. Conway <email address hidden>  Thu, 08 Apr 2010 13:46:21 -0400

cvc3 (2.2-11) unstable; urgency=low


  * Patch: detect path to ldconfig for install

 -- Christopher L. Conway <email address hidden>  Tue, 16 Mar 2010 17:21:15 -0400

cvc3 (2.2-7) unstable; urgency=low


  * Adding cvc-mode to auto-mode-alist in cvc3-el

 -- Christopher L. Conway <email address hidden>  Wed, 06 Jan 2010 18:09:30 -0500

cvc3 (2.2-4) unstable; urgency=low


  * Fixing lintian warnings for deps in emacs package and shlibs in JNI package

 -- Christopher L. Conway <email address hidden>  Thu, 31 Dec 2009 17:03:18 -0500