open-axiom (1.5.0~svn3056-1) unstable; urgency=low * New upstream version. * Use xz compression for both source tarball and packages * Require g++ >= 4.7 for C++11 * Refreshed patches * touch aclocal.m4 -r configure.ac to avoid rebuilding aclocal.m4 which requires aclocal 1.13 * Do not patch configure.ac, but override variables in Makefiles (due to automake 1.13 too) * Use Clisp if SBCL is not available (currently !i386 !amd64 !kfreebsd-amd64) * Enable hardening (include /usr/share/dpkg/buildflags.mk for build flags) * Use dh-buildinfo -- Igor Pashev Sun, 01 Sep 2013 14:02:34 +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