spass (3.9-1.1) unstable; urgency=medium * Non-maintainer upload. * Workaround parallel FTBFS by disabling parallel building. (Closes: #976928) -- Adrian Bunk Thu, 21 Jan 2021 17:21:50 +0200 spass (3.9-1) unstable; urgency=medium * New upstream version. This version fixes an FTBFS with glibc 2.26 (closes: #887646). * Switch build-dependency debhelper to debhelper-compat, drop debian/compat * Debhelper compatibility level 12 (no change) * Add build-dependency on bison, flex * Do not attempt to install upstream documentation, it is gone from version 3.9: - drop debian/spass.docs - drop override of dh_auto_install which is no longer needed - drop debian/spass.examples as upstream's examples are gone - drop debian/spass.manpages as upstreams's manpages are gone - drop linking of FLOTTER.1 - put upstream's example problem54.dfg into debian/tests - drop dependency on install-info * Create debian/spass.install as upstream's makefile doesn't do install * Update Vcs-{Browser,Git} to salsa * Standards-version 4.5.0: - debian/copyright: use https in format header -- Ralf Treinen Wed, 29 Apr 2020 11:04:25 +0200 spass (3.7-4) unstable; urgency=medium * Set maintainer to debian-science with me as uploader (closes: #812755) * Add Vcs-{Git,Browser} fields. * Short description: do not start with an article. * Add Homepage field, and drop reference to upstream homepage from the long description. * d/copyright: convert to machine-readable format 1.0 * rewrite debian/rules: - use dh. - add debian/spass.links - add debian/spass.docs - add debian/spass.example - add debian/spass.manpages * DH compatibility level 10 * Standards-version 3.9.8 (no change) * Add dep-8 style test, using the example provided by upstream * docs: - install pdf documents into /usr/share/doc/spass - drop the html docs which are incomplete, and superseded by the man pages -- Ralf Treinen Sun, 23 Oct 2016 20:22:48 +0200 spass (3.7-3) unstable; urgency=low * Added debian/watch -- Roland Stigge Mon, 15 Aug 2011 22:07:12 +0200 spass (3.7-2) unstable; urgency=low * Remove debian patches to broken texinfo files until fixed upstream * debian/control: Standards-Version: 3.9.0 -- Roland Stigge Tue, 29 Jun 2010 22:04:02 +0200 spass (3.7-1) unstable; urgency=low * New upstream release -- Roland Stigge Sun, 27 Jun 2010 18:59:28 +0200 spass (2.1-5) unstable; urgency=low * Moved to source format 3.0 (quilt) * debian/control: Standards-Version: 3.8.4 -- Roland Stigge Sun, 27 Jun 2010 18:43:16 +0200 spass (2.1-4) unstable; urgency=low * debian/rules: Removed DEB_BASE_DIR (Closes: #495149) * debian/control: Standards-Version: 3.8.0 * debian/compat: 7 -- Roland Stigge Sun, 17 Aug 2008 18:05:44 +0200 spass (2.1-3) unstable; urgency=low * Updated Description -- Roland Stigge Mon, 13 Oct 2003 09:20:04 +0200 spass (2.1-2) unstable; urgency=low * New maintainer (Closes: #214950) * Set debhelper version compatibility level to 4 * Adjusted debian/copyright * Standards-Version: 3.6.1 -- Roland Stigge Sat, 11 Oct 2003 13:59:36 +0200 spass (2.1-1) unstable; urgency=low * new upstream release * use fixed versions of man pages (thanks to Dalibor Topic) * debian/control: upgraded to new version of Debian policy -- Marco Kuhlmann Sat, 17 May 2003 15:58:20 +0200 spass (2.0-4) unstable; urgency=low * added manpages for dfg2ascii, dfg2otter, dfg2tptp (closes: #159334) * debian/control: changed the description * debian/control: upgraded to new version of Debian policy -- Marco Kuhlmann Tue, 1 Oct 2002 10:26:00 +0200 spass (2.0-3) unstable; urgency=low * debian/rules: actually build the architecture dependent packages in binary-arch (closes: #159238) -- Marco Kuhlmann Mon, 2 Sep 2002 12:54:11 +0100 spass (2.0-2) unstable; urgency=low * debian/rules: do not rely on autotools-dev being installed -- Marco Kuhlmann Sun, 1 Sep 2002 16:51:15 +0100 spass (2.0-1) unstable; urgency=low * initial release (closes: #156728) -- Marco Kuhlmann Thu, 22 Aug 2002 00:21:12 +0100