cbmc (4.2-6ubuntu2) raring; urgency=low

  * Fix preprocessing on armhf by passing through the __ARM_PCS_VFP define.

 -- Adam Conrad <adconrad@ubuntu.com>  Wed, 07 Nov 2012 21:15:17 -0700

cbmc (4.2-6ubuntu1) raring; urgency=low

  * Don't fail on unused-result warnings.

 -- Ilya Barygin <randomaction@ubuntu.com>  Mon, 05 Nov 2012 16:13:36 +0400

cbmc (4.2-6) unstable; urgency=low

  * s390x hack, will be fixed properly in next upstream release

 -- Michael Tautschnig <mt@debian.org>  Thu, 20 Sep 2012 16:14:23 +0100

cbmc (4.2-5) unstable; urgency=low

  * Fix preprocessing on architectures with unsigned char
  * Proper word size define for mips
  * Added regression test to check for missing builtins

 -- Michael Tautschnig <mt@debian.org>  Thu, 20 Sep 2012 10:27:43 +0100

cbmc (4.2-4) unstable; urgency=low

  * Fix missing includes on freebsd kernels, once more
  * Fix test suite for non-x86 architecture specifics

 -- Michael Tautschnig <mt@debian.org>  Wed, 19 Sep 2012 17:47:42 +0100

cbmc (4.2-3) unstable; urgency=low

  * Fix missing includes on freebsd kernels
  * Fixed test output helper

 -- Michael Tautschnig <mt@debian.org>  Wed, 19 Sep 2012 16:57:50 +0100

cbmc (4.2-2) unstable; urgency=low

  * Updated Standards version to 3.9.4 (no changes required)
  * Include upstream man page
  * Updated debian/copyright to final syntax
  * Fix missing includes on hurd and freebsd kernels
  * Print test output of failed tests

 -- Michael Tautschnig <mt@debian.org>  Wed, 19 Sep 2012 12:02:56 +0100

cbmc (4.2-1) unstable; urgency=low

  * New upstream release (includes GCC 4.7 fixes of previous NMUs)
  * Use DEB_CXXFLAGS_MAINT_APPEND to comply with dpkg-buildflags
  * Run test suite after build

 -- Michael Tautschnig <mt@debian.org>  Wed, 19 Sep 2012 10:29:19 +0100

cbmc (4.1-1.2) unstable; urgency=low

  * Non-maintainer upload.
  * Update fix-FTBFS-with-gcc-4.7.patch patch.
    Fix FTBFS with gcc 4.7 on kfreebsd and hurd.
    Thanks to Steven Chamberlain <steven@pyro.eu.org> for the patch.
    (Closes: #673579)

 -- Salvatore Bonaccorso <carnil@debian.org>  Sun, 20 May 2012 07:55:28 +0200

cbmc (4.1-1.1) unstable; urgency=low

  * Non-maintainer upload.
  * Add fix-FTBFS-with-gcc-4.7.patch patch.
    Fix FTBFS with gcc 4.7. Fix missing <unistd.h> includes and add 'this->'
    where needed.
    Thanks to Cyril Brulebois <kibi@debian.org> for the patch. (Closes: #667131)

 -- Salvatore Bonaccorso <carnil@debian.org>  Sun, 13 May 2012 14:25:21 +0200

cbmc (4.1-1) unstable; urgency=low

  * New upstream release (all code patches merged, only build system adaptions
    remain)
  * dh-compat bumped to 9

 -- Michael Tautschnig <mt@debian.org>  Wed, 18 Jan 2012 18:37:41 +0000

cbmc (4.0-4) unstable; urgency=low

  * Rename patches and update description to make dpkg-source happy
    (closes: #643074)

 -- Michael Tautschnig <mt@debian.org>  Sat, 22 Oct 2011 00:51:01 +0100

cbmc (4.0-3) unstable; urgency=low

  * Make sure $(LIBS) occurs at end of linker command line to fix Ubuntu build
    failures

 -- Michael Tautschnig <mt@debian.org>  Sun, 10 Jul 2011 17:22:04 +0200

cbmc (4.0-2) unstable; urgency=low

  * Added missing freebsd kernel define
  * Enable parallel builds

 -- Michael Tautschnig <mt@debian.org>  Wed, 15 Jun 2011 10:40:38 +0200

cbmc (4.0-1) unstable; urgency=low

  * New upstream release (all patches merged)
  * Requires suitable minisat version
  * Working watch file

 -- Michael Tautschnig <mt@debian.org>  Tue, 14 Jun 2011 19:12:10 +0200

cbmc (3.9+r41-3) unstable; urgency=low

  * Fix another FTBFS for ambiguous overload, missing freebsd kernel define

 -- Michael Tautschnig <mt@debian.org>  Sat, 14 May 2011 16:11:44 +0200

cbmc (3.9+r41-2) unstable; urgency=low

  * Corrected build-depends to fix FTBFS
  * Added gcc as depends

 -- Michael Tautschnig <mt@debian.org>  Sat, 14 May 2011 14:57:05 +0200

cbmc (3.9+r41-1) unstable; urgency=low

  * Initial upload (closes: #626635)
  * Version 3.9 + all changes of SVN r41

 -- Michael Tautschnig <mt@debian.org>  Fri, 13 May 2011 23:54:50 +0200
