open-axiom (1.5.0~svn2823-1) UNRELEASED; urgency=low * New upstream version. * Use xz compression for both source tarball and packages * Require g++ >= 4.7 for C++11 * Refreshed patches -- Igor Pashev Wed, 03 Apr 2013 16:56:48 +0400 open-axiom (1.4.1+svn~2626-2) unstable; urgency=low * Added libgmp-dev build-dep for GCL -- Igor Pashev Wed, 16 May 2012 15:22:53 +0400 open-axiom (1.4.1+svn~2626-1) unstable; urgency=low * New upstream version * Include directory 'contrib' in sources * Removed patch for system xpm.h (fixed in upstream) * Use SBCL where available (currently i386, amd64, kfreebsd-amd64) and GCL otherwheres (Closes: #648877) * Bump standards version 3.9.2 → 3.9.3, no changes * Rewrote debian/rules (too many overrides) * Removed Encoding key from desktop file -- Igor Pashev Thu, 10 May 2012 16:23:17 +0400 open-axiom (1.4.1+svn~2299+ds-1) unstable; urgency=low * Initial release. Closes: #639185 -- Igor Pashev Sat, 03 Sep 2011 03:19:50 +0400