clasp (3.1.0-1) unstable; urgency=low * New upstream release. * debian/control: Remove Suggests on potassco-guide * Setup git repository to use git-buildpackage. * Import upstream sources with git-import-orig --pristine-tar --uscan. -- Thomas Krennwallner Mon, 18 Aug 2014 13:00:07 +0200 clasp (3.0.6-1) unstable; urgency=low * New upstream release. * debian/control: Fix Vcs fields to use anonscm.debian.org. -- Thomas Krennwallner Thu, 07 Aug 2014 11:53:54 +0200 clasp (3.0.5-1) unstable; urgency=low * New upstream release. -- Thomas Krennwallner Mon, 19 May 2014 17:48:23 +0200 clasp (3.0.4-1) unstable; urgency=low * New upstream release. -- Thomas Krennwallner Thu, 24 Apr 2014 11:26:44 +0200 clasp (3.0.3-1) unstable; urgency=low * New upstream release. -- Thomas Krennwallner Sun, 30 Mar 2014 07:34:40 +0200 clasp (3.0.2-2) unstable; urgency=low * Bug fix: "fix up TBB handling for ppc64el", thanks to Colin Watson (Closes: #742514). -- Thomas Krennwallner Tue, 25 Mar 2014 07:27:42 +0100 clasp (3.0.2-1) unstable; urgency=low * New upstream release. -- Thomas Krennwallner Mon, 17 Mar 2014 17:11:58 +0100 clasp (3.0.1-1) unstable; urgency=low * New upstream release. * Bug fix: "3.0 cannot solve some problems solved by 2.1.4", thanks to Julian Andres Klode (Closes: #739628). -- Thomas Krennwallner Tue, 25 Feb 2014 17:04:16 +0100 clasp (3.0.0-1) unstable; urgency=low * New upstream release. * debian/rules: Call configure.sh without --with-claspre. -- Thomas Krennwallner Sun, 16 Feb 2014 11:19:35 +0100 clasp (2.1.5-1) unstable; urgency=low * New upstream release. * debian/control: Bump Standards-Version to 3.9.5. -- Thomas Krennwallner Tue, 11 Feb 2014 12:37:05 +0100 clasp (2.1.4-1) unstable; urgency=low * New upstream release. -- Thomas Krennwallner Fri, 13 Dec 2013 11:44:18 +0100 clasp (2.1.3-1) unstable; urgency=low * New upstream release. * debian/copyright: Update copyright years. * debian/control: Remove DM-Upload-Allowed. -- Thomas Krennwallner Tue, 21 May 2013 09:22:08 +0200 clasp (2.1.1-1) unstable; urgency=low * New upstream release. * debian/control: Bump Standards-Version to 3.9.4 and Build-Depends on libtbb-dev >= 4.0+r233. * debian/copyright: Update copyright years. -- Thomas Krennwallner Wed, 28 Nov 2012 10:35:53 +0100 clasp (2.1.0-1) unstable; urgency=low * New upstream release. * debian/copyright: Fix Format URL. * debian/rules: Add hardening support. * debian/gcc-4.7.patch: Remove unnecessary patch. * debian/control: Bump Standards-Version to 3.9.3.1 and Build-Depends on dephelper >= 9. * debian/compat: Bump to 9. -- Thomas Krennwallner Mon, 27 Aug 2012 20:20:04 +0200 clasp (2.0.6-2) unstable; urgency=low * Team upload * Apply patch to FTBFS with gcc-4.7, thanks to Ilya Barygin (Closes: #674184) -- Dmitrijs Ledkovs Sun, 27 May 2012 15:41:47 +0100 clasp (2.0.6-1) unstable; urgency=low * New upstream release. * debian/control: Bump Standards-Version to 3.9.3. -- Thomas Krennwallner Wed, 04 Apr 2012 06:35:31 +0200 clasp (2.0.5-1ubuntu1~oneiric2) oneiric; urgency=low * Upload to ppa:~tkren/asp. -- Thomas Krennwallner Fri, 10 Feb 2012 09:01:57 +0100 clasp (2.0.5-1) unstable; urgency=low * New upstream release. -- Thomas Krennwallner Sun, 29 Jan 2012 20:27:04 +0100 clasp (2.0.4-1ubuntu1~oneiric1) oneiric; urgency=low * Upload to ppa:~tkren/asp. -- Thomas Krennwallner Wed, 30 Nov 2011 06:36:04 +0100 clasp (2.0.4-1) unstable; urgency=low * New upstream release. * debian/rules: Override all standard targets. * debian/patches/clasp-makefile.patch: Remove. -- Thomas Krennwallner Tue, 29 Nov 2011 18:29:33 +0100 clasp (2.0.3-4ubuntu1~oneiric1) oneiric; urgency=low * Upload to ppa:~tkren/asp. -- Thomas Krennwallner Tue, 18 Oct 2011 13:04:50 +0200 clasp (2.0.3-4) unstable; urgency=low * debian/control: Build-Depends on libtbb-dev >= 3.0+r018, version 2.2 is not supported. -- Thomas Krennwallner Mon, 17 Oct 2011 07:52:01 +0200 clasp (2.0.3-3) unstable; urgency=low * debian/control: Do not Build-Depends on libtbb-dev with i386, see http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=642248. * debian/copyright: Fix obsolete-field-in-dep5-copyright and unversioned-copyright-format-uri lintian warnings. * debian/rules: Only set WITH_TBB for amd64, ia64, ppc64. -- Thomas Krennwallner Sun, 25 Sep 2011 21:05:22 +0200 clasp (2.0.3-2) unstable; urgency=low * Bug fixed with new upstream release: "Segfaults with --pre argument upon certain input", thanks to Joachim Breitner (Closes: #636772). -- Thomas Krennwallner Sun, 28 Aug 2011 08:09:00 +0200 clasp (2.0.3-1) unstable; urgency=low * New upstream release. * debian/copyright: Fix year. -- Thomas Krennwallner Wed, 24 Aug 2011 10:12:53 +0200 clasp (2.0.2-1ubuntu1~oneiric1) oneiric; urgency=low * Upload to ppa:~tkren/asp. -- Thomas Krennwallner Fri, 01 Jul 2011 06:49:46 +0200 clasp (2.0.2-1) unstable; urgency=low * New upstream release. * debian/patches/clasp-ld-as-needed.patch: Remove. -- Thomas Krennwallner Fri, 01 Jul 2011 05:25:39 +0200 clasp (2.0.1-2) unstable; urgency=low * debian/control: Setup as Debian Science project. - Set Maintainer to Debian Science Maintainers and Uploaders to Thomas Krennwallner. - Set DM-Upload-Allowed to yes. - Convert bzr repository to git and use Vcs-Git and Vcs-Browser accourdingly. * debian/patches/clasp-ld-as-needed.patch: Bug fix: "FTBFS with ld --as-needed", thanks to stefanor@debian.org; (Closes: #631270). -- Thomas Krennwallner Wed, 22 Jun 2011 19:44:48 +0200 clasp (2.0.1-1) unstable; urgency=low * New upstream release. * debian/control: Bump Standards-Version to 3.9.2. * debian/patches/clasp-istreameof.patch debian/patches/clasp-rpath.patch: Remove. -- Thomas Krennwallner Wed, 27 Apr 2011 10:50:10 +0200 clasp (2.0.0-3) unstable; urgency=low * debian/patches/clasp-istreameof.patch: Fix unsigned conversion bug. (Closes: #623850) * debian/control: Conditionally Build-Depends on libtbb-dev, it is only available on amd64,i386,ia64,ppc64. * debian/patches/clasp-makefile.patch: Allow for non-multithreading builds and install clasp. * debian/rules: Check for linux amd64,i386,ia64,ppc64 and invoke make accourdingly. * debian/install: Remove as we cannot know where we are going to build upfront. * debian/watch: Fix lintian debian-watch-contains-dh_make-template. -- Thomas Krennwallner Sat, 23 Apr 2011 12:30:18 +0200 clasp (2.0.0-2) unstable; urgency=low * Upload to Debian. (Closes: #623599) -- Thomas Krennwallner Thu, 21 Apr 2011 20:24:41 +0200 clasp (2.0.0-1~maverick1) maverick; urgency=low * New upstream release. * debian/patches/clasp-makefile.patch: Refreshed for multi-threading support. * debian/patches/clasp-rpath.patch: Fix lintian error binary-or-shlib-defines-rpath. * debian/control: Build-Depends on libtbb-dev. * debian/install: Install MT binary. -- Thomas Krennwallner Thu, 21 Apr 2011 19:35:27 +0200 clasp (1.3.8-1~maverick1) maverick; urgency=low * New upstream release. -- Thomas Krennwallner Thu, 21 Apr 2011 18:55:09 +0200 clasp (1.3.7-2) unstable; urgency=low * debian/copyright: Convert to DEP-5 format and add missing licenses. -- Thomas Krennwallner Mon, 28 Feb 2011 17:44:55 +0100 clasp (1.3.7-1~maverick1) maverick; urgency=low * New upstream version. -- Thomas Krennwallner Thu, 17 Feb 2011 08:20:03 +0100 clasp (1.3.6-3) unstable; urgency=low * Filed ITP. (Closes: #605877) -- Thomas Krennwallner Sun, 05 Dec 2010 17:56:39 +0100 clasp (1.3.6-2) unstable; urgency=low * Upload to mentors.debian.net. -- Thomas Krennwallner Sat, 20 Nov 2010 09:25:52 +0100 clasp (1.3.6-1~maverick1) maverick; urgency=low * New upstream version. * debian/copyright: Fix copyright information. -- Thomas Krennwallner Fri, 19 Nov 2010 21:42:10 +0100 clasp (1.3.5-3~maverick1) maverick; urgency=low * Add dirs and install file. * Bump Priority back to extra. * Fix Build-Depends. * Add override_dh_installchangelogs to rules. * Remove README.source. -- Thomas Krennwallner Wed, 20 Oct 2010 06:31:54 +0200 clasp (1.3.5-2~maverick1) maverick; urgency=low * Tag distro-series. * Fix Standards-Version and Priority. * Suggest potassco-guide. * Fix missing changelog. -- Thomas Krennwallner Sat, 09 Oct 2010 16:15:39 +0200 clasp (1.3.5-1) lucid; urgency=low * New upstream version. -- Thomas Krennwallner Sun, 26 Sep 2010 17:41:30 +0200 clasp (1.3.4-1) lucid; urgency=low * New upstream version. * Add claspre support. -- Thomas Krennwallner Wed, 16 Jun 2010 11:58:47 +0200 clasp (1.3.3-4) lucid; urgency=low * Switch to dpkg-source 3.0 (quilt) format. * Recommend gringo. -- Thomas Krennwallner Sat, 05 Jun 2010 07:36:19 +0200 clasp (1.3.3-3) lucid; urgency=low * Added watch file. * Added Vcs-Bzr to control. -- Thomas Krennwallner Tue, 01 Jun 2010 14:46:07 +0200 clasp (1.3.3-2) lucid; urgency=low * Moved to Ubuntu PPA. -- Thomas Krennwallner Wed, 26 May 2010 00:15:33 +0200 clasp (1.3.3-1) unstable; urgency=low * New upstream release. -- Thomas Krennwallner Fri, 09 Apr 2010 05:43:57 +0200 clasp (1.3.2-2) unstable; urgency=low * Added gringo to Suggests. -- Thomas Krennwallner Thu, 06 Mar 2010 11:18:26 +0100 clasp (1.3.2-1) unstable; urgency=low * Initial release. -- Thomas Krennwallner Thu, 04 Mar 2010 19:31:51 +0100