sollya (8.0+ds-2) unstable; urgency=medium * Technical upload. -- Jerome Benoit Sat, 23 Apr 2022 15:32:37 +0000 sollya (8.0+ds-1) unstable; urgency=medium * New upstream major release (Closes: #949498). * Debianization: - d/copyright: - copyright year tuples, update; - Files-Excluded field, refresh; - Format field, secure; - d/watch, migration to www.sollya.org ; - d/upstream: - d/u/signing-key.asc, reintroduce; - d/u/metadata, introduce; - d/control: - Build-Depends list, add libfl-dev; - d/patches: - d/p/upstream-source-lintian-spelling.patch, update; - d/p/upstream-harden-autotoolization-dist.patch, integrated; - d/p/upstream-harden-configure_ac.patch, unapplicable; - d/p/cross.patch, rename upstream-harden-configure_ac.patch; - SO suffix, increment. -- Jerome Benoit Sun, 17 Apr 2022 14:51:28 +0000 sollya (7.0+ds-5) unstable; urgency=medium * Debianization: - d/control: - Homepage field, update; - debhelper, migrate to version 13 (discar d/compat); - Standards-Version, bump to version 4.6.0 (no change); - d/rules: - override_dh_missing target, provide; - d/copyright: - Upstream-Contact field, refresh; - Source field, update; - copyright year tuples, update; - d/patches: - d/p/upstream-source-lintian-spelling.patch, introduce; - d/p/debianization.patch, provide Forwarded field; - d/p/cross.patch, rename upstream-harden-configure_ac.patch; - d/libsollya7.symbols, Build-Depends-Package field, provide; - d/watch, migration to gitlab.inria.fr (remove u/signing-key.asc). -- Jerome Benoit Sat, 16 Oct 2021 14:03:19 +0000 sollya (7.0+ds-4) unstable; urgency=medium * Team Upload. * d/p/cross.patch: Make build cross buildable to some extent, with avoiding test during cross builds (Closes: #979030) -- Nilesh Patra Sun, 15 Aug 2021 15:33:36 +0530 sollya (7.0+ds-3) unstable; urgency=medium * FTBFS fix release, no-parallel build as workaround (Closes: #910856). * Debianization: - debian/copyright: - Copyright year tuples, update; - debian/control: - Standards Version, bump to 4.3.0 (no change). -- Jerome Benoit Tue, 08 Jan 2019 11:56:17 +0000 sollya (7.0+ds-2) unstable; urgency=medium * Debianization: - debian/rules, simplify. -- Jerome Benoit Fri, 12 Oct 2018 08:45:49 +0000 sollya (7.0+ds-1) unstable; urgency=medium * New upstream release. * Debianization: - debian/copyright: - Comment field: discard; - Files-Excluded field, refresh; - Format field, secure; - debian/control: - Standards Version, bump to 4.2.1 (no change); - Vcs-*, update; - debian/rules: - % target, update; - get-orig-source target, discard; - debian/patches/*: - d/p/upstream-fix-test-bug_872561.patch and d/p/upstream-reproducibility-doc-date.patch , integrated; - SO suffix, increment. -- Jerome Benoit Fri, 28 Sep 2018 08:23:01 +0000 sollya (6.0+ds-6) unstable; urgency=medium * Debianization: - debian/control: - Breaks field, sollya-doc, add (Closes: #886698); - debian/patch/*: - d/p/upstream-reproducibility-doc-date.patch, introduce. -- Jerome Benoit Tue, 09 Jan 2018 08:36:36 +0000 sollya (6.0+ds-5) unstable; urgency=medium * Debianization: - debian/copyright, refresh; - debian/rules, use pkg-info.mk ; - debian/upstream/*: - d/u//signing-key.*, bump to asc; - debian/source/include-binaries, discarded. -- Jerome Benoit Mon, 08 Jan 2018 15:35:53 +0000 sollya (6.0+ds-4) unstable; urgency=medium * Debianization: - debian/control: - debhelper, bump to 11: - d/sollya-doc.doc-base, adapt; - d/sollya.docs, remove; - Standards Version, bump to 4.1.3 (no change); - Depends field, bump to libfplll-dev 5.2 (no change). -- Jerome Benoit Sat, 30 Dec 2017 20:08:08 +0000 sollya (6.0+ds-3) unstable; urgency=medium * FTBFS fix release (Closes: #872561), fix false positive, thanks to the upstream team for promptly providing a fix. * Debianization: - debian/control: - debhelper, bump to 10; - Standards Version, bump to 4.1.0 (add gpg-signature check support); - debian/patches/: - d/p/upstream-fix-test-bug_872561.patch , imported from upstream git. -- Jerome Benoit Sat, 26 Aug 2017 08:04:40 +0000 sollya (6.0+ds-2) unstable; urgency=medium * Debianization: - debian/copyright, refresh; - debian/control: - Depends field, bump to libfplll-dev 5.1; - Standards Version, bump to 4.0.0 (no change). -- Jerome Benoit Fri, 18 Aug 2017 06:40:57 +0000 sollya (6.0+ds-1) unstable; urgency=medium * New upstream release (Closes: #835506). * Debianization: - debian/patches/*: - d/p/upstream-*.patch, integrated (thanks to the upstream team); - d/p/upstream-harden-autotoolization-dist.patch, introduce; - refresh. -- Jerome Benoit Thu, 20 Oct 2016 02:09:03 +0000 sollya (5.0+ds-3) unstable; urgency=medium * Debianization: - reproducible build, attempt. -- Jerome Benoit Sun, 31 Jul 2016 13:49:54 +0000 sollya (5.0+ds-2) unstable; urgency=medium * FTBFS fix release (Closes: #832951), neutralize time based test. -- Jerome Benoit Fri, 29 Jul 2016 23:50:31 +0000 sollya (5.0+ds-1) unstable; urgency=medium * Initial release (Closes: #827509). -- Jerome Benoit Mon, 27 Jun 2016 16:09:53 +0000