singular (1:4.4.0-p6+ds-1) unstable; urgency=medium * New upstream patch version. -- Jerome Benoit Tue, 01 Oct 2024 10:27:35 +0000 singular (1:4.4.0-p5+ds-1) unstable; urgency=medium * New upstream patch version. -- Jerome Benoit Sun, 08 Sep 2024 12:32:53 +0000 singular (1:4.4.0-p3+ds-1) unstable; urgency=medium * New upstream patch version. * Debianization: - d/p/upstream-autotools-moduledir.patch, integrated; - d/p/debianization-resources.patch, refresh. -- Jerome Benoit Sat, 29 Jun 2024 21:03:45 +0000 singular (1:4.4.0-p2+ds-1) unstable; urgency=medium * New upstream patch version. * Debianization: - d/copyright: - Copyright year-tuples, update; - modules, migrate from the /usr/libexec hierarchy to the /usr/lib one: - d/p/upstream-autotools-moduledir.patch, introduce; - d/singular-modules.lintian-overrides, obsoleted; - d/singular-modules.install, refresh. -- Jerome Benoit Wed, 05 Jun 2024 11:17:15 +0000 singular (1:4.4.0+ds-4) unstable; urgency=medium * Serious bug fix (Closes: #1071734). -- Jerome Benoit Sat, 25 May 2024 12:58:19 +0000 singular (1:4.4.0+ds-3) unstable; urgency=medium * Technical upload. -- Jerome Benoit Thu, 23 May 2024 11:55:55 +0000 singular (1:4.4.0+ds-2) unstable; urgency=medium * RC bug fix (Closes: #1071585), upgrade lib package name. -- Jerome Benoit Tue, 21 May 2024 21:52:47 +0000 singular (1:4.4.0+ds-1) unstable; urgency=medium * New upstream minor version. * Debianization: - d/patches/*: - d/p/debianization-rename-libraries.patch, update; - d/control: - Standards Version, bump to 4.7.0 (no change). -- Jerome Benoit Sat, 27 Apr 2024 21:48:23 +0000 singular (1:4.3.2-p16+ds-1) unstable; urgency=medium * Team upload. * Upload to unstable. -- Doug Torrance Tue, 02 Apr 2024 20:31:52 -0400 singular (1:4.3.2-p16+ds-1~exp1) experimental; urgency=medium * New upstream patch version (Closes: #1067293). * Debianization: - d/control: - Build-Depends list, specify minimal versions for libflint-dev and normaliz; - libsingular-dev package: - Suggests list, rename pkg-config to pkgconf. -- Jerome Benoit Mon, 01 Apr 2024 15:40:25 +0000 singular (1:4.3.2-p10+ds-1.1) unstable; urgency=medium * Non-maintainer upload. * Rename libraries for 64-bit time_t transition. Closes: #1062899 -- Benjamin Drung Thu, 29 Feb 2024 16:01:11 +0000 singular (1:4.3.2-p10+ds-1) unstable; urgency=medium * New upstream patch version. -- Jerome Benoit Tue, 31 Oct 2023 08:56:18 +0000 singular (1:4.3.2-p9+ds-1) unstable; urgency=medium * New upstream patch version. -- Jerome Benoit Mon, 30 Oct 2023 16:27:33 +0000 singular (1:4.3.2-p8+ds-1) unstable; urgency=medium * New upstream patch version. * Debianization: - d/patches/*: - d/p/debianization-documentation.patch, refresh (Closes: #1052752). -- Jerome Benoit Sun, 15 Oct 2023 16:52:55 +0000 singular (1:4.3.2-p7+ds-1) unstable; urgency=medium * Upload to unstable. * New upstream patch version. -- Jerome Benoit Sun, 20 Aug 2023 13:28:10 +0000 singular (1:4.3.2-p4+ds-1) experimental; urgency=medium * New upstream patch version. * Debianization: - documentation: now effectivelly provides the software documentation; - module package: now provides the (singular) libparse executable. -- Jerome Benoit Sun, 23 Jul 2023 21:30:34 +0000 singular (1:4.3.2-p3+ds-1) experimental; urgency=medium * New upstream patch version. * Debianization: - d/control: - discard all python3-brial Recommends/Suggests/Depends. -- Jerome Benoit Wed, 19 Jul 2023 09:22:14 +0000 singular (1:4.3.2+ds-3) experimental; urgency=medium * FTBFS fix release, add python3 dependency. * Debianization: - d/control: - Build-Depends, add python3. -- Jerome Benoit Wed, 26 Apr 2023 22:36:48 +0000 singular (1:4.3.2+ds-2) experimental; urgency=medium * RC fix release: discard python3-brial dependency (Closes: #1034769); it appears that singular (i) still uses polybori (python2) and (ii) have not yet migrated to brial (python3). -- Jerome Benoit Wed, 26 Apr 2023 21:39:54 +0000 singular (1:4.3.2+ds-1) experimental; urgency=medium * New upstream micro version. * Debianization: - various janitorial changes. -- Jerome Benoit Tue, 28 Mar 2023 21:03:34 +0000 singular (1:4.3.1-p3+ds-1) unstable; urgency=medium * New upstream patch version. * Debianization: - d/patches/*: - d/p/upstream-fix-autotools-libpolys-modules.patch, integrated; - d/copyright: - Files-Excluded list, update; - Copyright year-tuples, update; - d/control: - Standards Version, bump to 4.6.2 (no change). -- Jerome Benoit Tue, 03 Jan 2023 15:14:59 +0000 singular (1:4.3.1-p2+ds-2) unstable; urgency=medium * Upload to unstable (closes: #1023360). * Debianization: - d/patches/*: - d/p/upstream-fix-autotools-libpolys-modules.patch, introduce (Closes: #1020380). -- Jerome Benoit Sat, 10 Dec 2022 11:20:51 +0000 singular (1:4.3.1-p2+ds-1) experimental; urgency=medium * New upstream patch version. * Debianization: - various janitorial changes. -- Jerome Benoit Sat, 10 Sep 2022 17:58:16 +0000 singular (1:4.3.1-p1+ds-1) experimental; urgency=medium * New upstream micro version. * Debianization: - d/control: - Standards Version, bump to 4.6.1 (no change); - d/patches/*: - d/p/upstream-update-README_pkg-debian.patch, introduce; - d/p/debianization-resources.patch, refresh; - d/singular-doc.docs, update; - d/s/lintian-overrides: - source-is-missing, neutralize. -- Jerome Benoit Sat, 09 Jul 2022 19:07:13 +0000 singular (1:4.3.0-p1+ds-3) experimental; urgency=medium * RC bug fix (closes: #1012407), upgrade lib package name. -- Jerome Benoit Sun, 12 Jun 2022 12:59:04 +0000 singular (1:4.3.0-p1+ds-2) experimental; urgency=medium * Debianization: - d/watch: - upstream site address, update. -- Jerome Benoit Sun, 22 May 2022 16:22:37 +0000 singular (1:4.3.0-p1+ds-1) experimental; urgency=medium * New upstream patch version. * Debianization: - policy change: singular.info now in /u/s/info as expected; - d/control: - Maintenance, migrate to Debian Math Team. -- Jerome Benoit Sun, 06 Mar 2022 15:21:16 +0000 singular (1:4.3.0+ds-1) experimental; urgency=medium * New upstream minor version. * Debianization: - d/copyright: - copyright year tuples, update; - d/patches/*: - d/p/upstream-source-lintian-spelling.patch, integrated. -- Jerome Benoit Sat, 15 Jan 2022 14:26:58 +0000 singular (1:4.2.1-p3+ds-1) unstable; urgency=medium * New upstream patch version. * Debianization: - d/copyright, refresh; - d/patches/*: - d/p/upstream-source-lintian-spelling.patch, renew; - d/p/upstream-source-typo.patch, integrated; - d/p/upstream-fix-conflict-Givaro.patch, obsoleted. -- Jerome Benoit Fri, 17 Dec 2021 20:20:53 +0000 singular (1:4.2.1-p2+ds-6) unstable; urgency=medium * Debianization: - d/{p/debianization-{resources,-adhoc-info}.patch, singular-doc.{docs,info,install}} rationalize (Closes: #1001806). -- Jerome Benoit Thu, 16 Dec 2021 20:39:36 +0000 singular (1:4.2.1-p2+ds-5) unstable; urgency=medium * Debianization: - d/control: - libsingular4m2n1 package entries, sanitize (Closes: #1001658); - singular package, mark `Multi-Arch: same'. -- Jerome Benoit Tue, 14 Dec 2021 20:27:46 +0000 singular (1:4.2.1-p2+ds-4) unstable; urgency=medium * Debianization: - d/patches/*: - d/p/upstream-fix-conflict-Givaro.patch, introduce. -- Jerome Benoit Tue, 14 Dec 2021 19:21:46 +0000 singular (1:4.2.1-p2+ds-3) unstable; urgency=medium * Upload to unstable. * Debianization: - d/control: - Build-Depends field, add bison; - d/rules: - override_dh_auto_configure target, add option --enable-streamio (Closes: #974103); - d/patches/*: - d/p//upstream-fix-factoryconf_h-include.patch, introduce. -- Jerome Benoit Sat, 11 Dec 2021 13:33:59 +0000 singular (1:4.2.1-p2+ds-2) experimental; urgency=medium * Debinization: - d/control: - debhelper, bump to version 12; - Build-Depends list, remove python-is-python3 and add topcom; - library package, rename libsingular4m2n1; - d/rules: - PYTHON environment variable, export; - override_dh_auto_configure target, introduce to honor libexec; - d/patches/*: - d/p/upstream-source-typo.patch, introduce (Closes: #965090); - d/p/upstream-source-lintian-spelling.patch, introduce; - d/singular-ui-emacs.install, add .emacs-* Emacs initializations files (Closes: #965089); - d/singular-modules.install, now honor libexec; - d/singular-modules.lintian-overrides, provide explanation; - d/libsingular4-dev{,-common}.lintian-overrides, provide comment; - d/upstream/metadata, introduce; - d/compat, discard. -- Jerome Benoit Sat, 27 Nov 2021 19:24:24 +0000 singular (1:4.2.1-p2+ds-1) experimental; urgency=medium * New minor upstream version (Closes: #992003). * Debianization: - d/control: - Build-Depends list, add python-is-python3; - Rules-Requires-Root, introduce and set to no; - Standards Version, bump to 4.6.0 (no change); - d/copyright: - machine-readable copyright file URI, fix; - copyright year tuples, update; - Files-Excluded list, refresh; - obsoleted Files entries, clean up; - d/patches/*, update; - d/singular-doc.{docs,info}, migrate from hlp to info; - d/*singular*.{install,lintian-overrides}, refresh. -- Jerome Benoit Sun, 21 Nov 2021 20:39:00 +0000 singular (1:4.1.2-p1+ds-2) experimental; urgency=medium * Debianization: - migration to Python3 (Closes: #943272); - debian/copyright, update. -- Jerome Benoit Thu, 09 Jan 2020 20:32:43 +0000 singular (1:4.1.2-p1+ds-1) experimental; urgency=medium * New upstream version. * Debianization: - debian/copyright, revisit; - debian/control: - Standards Version, bump to 4.4.1 (no change); - Depends field, libsingular4-dev, harden; - debian/rules: - override_dh_compress-indep target, no more compress singular.idx; - debian/sigular-doc.*: - d/singular-doc.{docs,info}, now distribute singular.hlp as info file; - debian/patches/*: - d/p/upstream-fix-lintian-spelling_error-silence.patch, integrated; - d/p/debianization-adhoc-info.patch, introduce; - refresh. -- Jerome Benoit Sat, 09 Nov 2019 17:00:18 +0000 singular (1:4.1.1-p4+ds-1) experimental; urgency=medium * New upstream version. * Debianization: - debian/control, - suffix library package wrt major and minor and nano version numbers to prevent from RC bugs, see #910808; - debian/copyright: - Copyright year tuples, update; - debian/control: - Standards Version, bump to 4.3.0 (no change); - debian/watch: - upstream URL, secure; - debian/patches/*: - d/p/upstream-autotools_pedant-harmonize-librelease.patch, integrated; - d/p/upstream-fix-lintian-spelling_error-silence.patch, submit; - refresh. -- Jerome Benoit Sat, 12 Jan 2019 08:17:59 +0000 singular (1:4.1.1-p3+ds-3) experimental; urgency=medium * Administrivia release: git merge. -- Jerome Benoit Sat, 27 Oct 2018 12:55:03 +0000 singular (1:4.1.1-p2+ds-3) unstable; urgency=medium * RC fix (Closes: #910808), suffix library package wrt major and minor version numbers. * Debianization: - debian/patches: - d/p/upstream-autotools_pedant-harmonize-librelease.patch, introduce; - d/p/debianization-prefix_libreleases.patch, introduce; - debian/rules: - export UPS_VERSION_UPSTREAM, introduce to prefix libreleases when necessary to avoid conflict (see d/p/d-prefix_libreleases.patch). -- Jerome Benoit Fri, 26 Oct 2018 08:35:09 +0000 singular (1:4.1.1-p3+ds-2) experimental; urgency=medium * Administrivia release: git merge. -- Jerome Benoit Sat, 06 Oct 2018 14:36:23 +0000 singular (1:4.1.1-p2+ds-2) unstable; urgency=medium * Upload to unstable. * Import backport patch from upstream for sagemath 8.3 . * Debianization: - debian/patches/*: - d/p/patches/upstream-backport-ntl-error-handler.patch , import. -- Jerome Benoit Sat, 06 Oct 2018 11:29:10 +0000 singular (1:4.1.1-p3+ds-1) experimental; urgency=medium * Debianization: - debian/control: - Standards Version, bump to 4.2.0 (no change); - debian/rules: - get-orig-source target, discard. -- Jerome Benoit Sat, 18 Aug 2018 15:18:08 +0000 singular (1:4.1.1-p2+ds-1) experimental; urgency=medium * New upstream version. * Debianization: - debian/singular-doc.docs, update; - debian/patches/*: - d/p/upstream-fix-lintian-spelling.patch , integrated; - refresh. -- Jerome Benoit Sat, 28 Apr 2018 16:47:36 +0000 singular (1:4.1.1-p1+ds-1) experimental; urgency=medium * New upstream version. * Debianization: - debian/copyright: - Format field, secure; - copyright year tuples, refresh; - Files-Excluded field, update; - debian/control: - debhelper, bump to 11; - Standards Version, bump to 4.1.3 (no change); - Vcs-* fields, migrate to Salsa; - debian/rules: - get-orig-source target, compression option, move to d/watch ; - debian/patches/*: - d/p/debianization-4ti2.patch , obsoleted by upstream; - update; - debian/watch: - compression option, add. -- Jerome Benoit Fri, 30 Mar 2018 11:20:12 +0000 singular (1:4.1.0-p3+ds-2) unstable; urgency=medium * Upload to unstable. -- Jerome Benoit Sun, 07 May 2017 13:04:10 +0000 singular (1:4.1.0-p3+ds-1) experimental; urgency=medium * New upstream minor version. * Debianization: - d/patches/, refreshment; - singular.hlp management, correct (Closes: #856871). -- Jerome Benoit Fri, 28 Apr 2017 12:40:35 +0000 singular (1:4.1.0-p2+ds-1) experimental; urgency=medium * New upstream minor version. * Debianization: - d/control, update; - d/patches/*, refresh. -- Jerome Benoit Sat, 25 Feb 2017 07:41:13 +0000 singular (1:4.1.0-p1+ds-1) experimental; urgency=medium * New upstream minor version. * Debianization: - debian/copyright, refresh; - debian/rules, harden; - debian/*, correct typo. -- Jerome Benoit Mon, 21 Nov 2016 05:25:14 +0000 singular (1:4.0.3-p5+ds-1) experimental; urgency=medium * Debianization: - debian/patches/upstream-lintian-spelling-error-silence.patch, update. -- Jerome Benoit Wed, 09 Nov 2016 14:03:39 +0000 singular (1:4.0.3-p4+ds-2) experimental; urgency=medium * Debianization: - version epoch (deb-version(1)), bump (see d/README.source for rationale); - debian/README.source, introduce; - debian/gbp.conf, set up (default debian-branch: experimental); - debian/control: - transition, polybori -> brial. -- Jerome Benoit Wed, 09 Nov 2016 03:20:28 +0000 singular (4.0.3-p4+ds-1) unstable; urgency=medium * New upstream version. * Debianization: - debian/patches/*.patch: - Origin field, correct; - refresh. -- Jerome Benoit Thu, 20 Oct 2016 23:58:53 +0000 singular (4.0.3-p3+ds-2) unstable; urgency=medium * RC fix (Closes: #840481), fix readline 6 to 7 migration issue. * Debianization: - debian/rules, do not compress .hlp data files (for now). -- Jerome Benoit Fri, 14 Oct 2016 22:41:33 +0000 singular (4.0.3-p3+ds-1) unstable; urgency=medium * New upstream version. * Debianization: - debian/control: - Build-Depends, migrate to libreadline-dev; - debian/patches/: - discard integrated and/or obsoleted patches: - upstream-bug-831072-gcc_6_1_1-segfault.patch - upstream-bug-831072-hidden-segfault.patch - upstream-reproducible.patch - upstream-autotools-DESTDIR.patch - upstream-autotools-singular_idx.patch . -- Jerome Benoit Sun, 09 Oct 2016 11:47:58 +0000 singular (4.0.3-p1+ds-4) unstable; urgency=medium * RC fix (Closes: #837016), fix ax_prog_doxygen.m4 update issue. * Debianization: - debian/patches/: - d/p/upstream-lintian-spelling-error-silence.patch, refresh. -- Jerome Benoit Thu, 29 Sep 2016 10:48:09 +0000 singular (4.0.3-p1+ds-3) unstable; urgency=medium * RC fix (Closes: #831072), fix gcc-6 transition issue. -- Jerome Benoit Mon, 25 Jul 2016 22:13:13 +0000 singular (4.0.3-p1+ds-2) unstable; urgency=medium * FTBFS fix (Closes: #806108), fix indep build failure. -- Jerome Benoit Fri, 29 Apr 2016 15:03:31 +0000 singular (4.0.3-p1+ds-1) unstable; urgency=medium * New upstream version (Closes: #811855). * Debianization: - debian/control: - Standards Version, bump to 3.9.8 (no change); - debian/copyright: - repack by using the Files-Excluded machinery instead of the ad-hoc script debian/repack; - refresh; - debian/repack, discard (see above); - debian/watch: - revisit (see above); - debian/rules: - dpkg-buildflags, add hardening=+all; - debian/patches/: - d/p/upstream-lintian-spelling-error-silence.patch, refresh; - d/p/upstream-autotools-DESTDIR.patch, introduce; - d/p/upstream-autotools-singular_idx.patch, introduce; - d/p/upstream-reproducible.patch, introduce; - provide doc `as is'. -- Jerome Benoit Thu, 28 Apr 2016 18:04:58 +0000 singular (4.0.3+ds-1) unstable; urgency=medium * New upstream version. * Debianization: - debian/control: - Standards Version, bump to 3.9.7 (no change); - Homepage and Vcs-* fields, secure; - debug symbol package, drop off in favour of automatic generation; - upgrade scheme, harden (Closes: #800961); - debian/copyright, refresh; - debian/rules: - debug symbol package, drop off in favour of automatic generation; - debian/repack, harden; - minor fix (submitted). -- Jerome Benoit Tue, 23 Feb 2016 02:55:40 +0000 singular (4.0.2-p2+ds-3) unstable; urgency=medium * FTBFS fix (Closes: #804892), harden omalloc check. * Debianization: - debian/patches/upstream-tests-omalloc-getlucky.patch, harden. -- Jerome Benoit Sat, 14 Nov 2015 04:38:52 +0000 singular (4.0.2-p2+ds-2) unstable; urgency=medium * FTBFS fix (Closes: #804186), render deterministic an undeterministic check. * Debianization: - debian/rules, refresh. -- Jerome Benoit Thu, 05 Nov 2015 21:31:15 +0000 singular (4.0.2-p2+ds-1) unstable; urgency=medium * New upstream version. * Debianization: - debian/control, Vcs-Browser field correction; - debina/patches/*: - git-version-gen, harden; - refresh; - minor fix (submitted). -- Jerome Benoit Wed, 04 Nov 2015 04:07:40 +0000 singular (4.0.2-p1+ds-1) unstable; urgency=medium * New upstream version. * Debianization: - debian/watch, update; - debian/repack, update; - debian/patches/ patches: - git-version-gen echoes now the debian package version with prefix "debian-" instead of a fancy git number; - refresh. -- Jerome Benoit Thu, 15 Oct 2015 21:13:15 +0000 singular (4.0.2+ds-1) unstable; urgency=medium * New upstream version, integrate most of submitted upstream patches. * Upload to unstable. * Debianization: - debian/patches/debianization-rename-pkgconfig_files.patch, prepend singular- to the singular related modules within the metainformation singular pkg-config files; - debian/patches/ patches: - micro upstream fixes; - minor Debian adaptations; - refresh. * Upstream fixes have been pulled for request to the Singular Team. -- Jerome Benoit Mon, 03 Aug 2015 00:12:09 +0000 singular (4.0.1p2+ds-1) experimental; urgency=medium * New major release started from scratch (Closes: #764475). * Debianization: - debian/copyright in DEP-5 format; - debian/control: - debhelper build-dep to >= 9; - Standards Version 3.9.6; - Vcs-* headers; - debian/source, format 3.0 (quilt); - build-arch/build-indep scheme, implement; - debian/patches/ patches: - in DEP-3 format; - prepend singular- to every Singular libraries for avoiding possible conflicts; - gather headers in a package include folder for the same reason; - manual page generated via help2man; - minor upstream fixes; - minor Debian adaptations; - debian/watch file; - debian/repack, repack script to clean up and gain weight; - debian/rules: - autoreconf-iguration; - full dh integration; - get-orig-source uscan based target which downloads the currently packaged upstream tarball and repacks it; - default target which basically queries package status with uscan -- output in DEHS format; - gpg-signature check support, neutralize. * Minor fixes, enhancements, request for a better source tarball were submitted and have been ; thanks to the Singular Team. * Upstream fixes and enhancemens have been pulled for request to the Singular Team. -- Jerome Benoit Sun, 08 Feb 2015 16:46:56 +0000 singular (3-0-4-3.dfsg-3.1) unstable; urgency=low * Non-maintainer upload. * Fixing the FTBFS (wrong compilation Makefile target and other issues, closes: #584339). * Really update libreadline-dev dependency (last revision only changed it in control.in). -- Giovanni Mascellani Tue, 10 Aug 2010 11:56:22 +0200 singular (3-0-4-3.dfsg-3) unstable; urgency=low * Update readline dependency to "libreadline-dev", not "libreadline5-dev". -- Tim Abbott Fri, 18 Sep 2009 19:48:47 -0400 singular (3-0-4-3.dfsg-2) unstable; urgency=low * Change singuname architecture detection to support Linux on architectures unknown to the Singular build system. (Closes: #493492). -- Tim Abbott Sat, 02 Aug 2008 21:45:51 -0400 singular (3-0-4-3.dfsg-1) unstable; urgency=low * Initial release (Closes: #383515). -- Tim Abbott Tue, 08 Jul 2008 19:12:19 -0400