From 48a1394ad65939c88c61d85f385cc73357062d8b Mon Sep 17 00:00:00 2001 From: Julien Puydt Date: Sun, 26 Nov 2023 13:01:50 +0100 Subject: [PATCH] Import fplll_5.4.5-1.debian.tar.xz [dgit import tarball fplll 5.4.5-1 fplll_5.4.5-1.debian.tar.xz] --- README.source | 8 + changelog | 347 ++++++++++++++++++++++++++++++ control | 94 ++++++++ copyright | 174 +++++++++++++++ fplll-tools.install | 1 + fplll-tools.manpages | 2 + fplll.1 | 112 ++++++++++ gbp.conf | 2 + latticegen.1 | 31 +++ libfplll-dev.README.Debian | 1 + libfplll-dev.doc-base | 9 + libfplll-dev.docs | 1 + libfplll-dev.install | 4 + libfplll8-data.install | 1 + libfplll8.README.Debian | 1 + libfplll8.install | 1 + libfplll8.shlibs | 1 + patches/libgmp_subst.patch | 15 ++ patches/series | 2 + patches/versioned_strategies_path | 72 +++++++ rules | 26 +++ salsa-ci.yml | 3 + source/format | 1 + upstream/metadata | 5 + watch | 2 + 25 files changed, 916 insertions(+) create mode 100644 README.source create mode 100644 changelog create mode 100644 control create mode 100644 copyright create mode 100644 fplll-tools.install create mode 100644 fplll-tools.manpages create mode 100644 fplll.1 create mode 100644 gbp.conf create mode 100644 latticegen.1 create mode 100644 libfplll-dev.README.Debian create mode 100644 libfplll-dev.doc-base create mode 100644 libfplll-dev.docs create mode 100644 libfplll-dev.install create mode 100644 libfplll8-data.install create mode 100644 libfplll8.README.Debian create mode 100644 libfplll8.install create mode 100644 libfplll8.shlibs create mode 100644 patches/libgmp_subst.patch create mode 100644 patches/series create mode 100644 patches/versioned_strategies_path create mode 100755 rules create mode 100644 salsa-ci.yml create mode 100644 source/format create mode 100644 upstream/metadata create mode 100644 watch diff --git a/README.source b/README.source new file mode 100644 index 0000000..0bdbdc6 --- /dev/null +++ b/README.source @@ -0,0 +1,8 @@ +How to soname bump +================== +* debian/control: + - declares the libfplll package + - makes the libfplll-dev package depend on it +* debian/libfplll.* needs to be moved +* debian/libfplll.install references the for the strategy path +* debian/patches/versioned_strategies_path also references the strategy path. diff --git a/changelog b/changelog new file mode 100644 index 0000000..bef96b1 --- /dev/null +++ b/changelog @@ -0,0 +1,347 @@ +fplll (5.4.5-1) unstable; urgency=medium + + * New upstream release. + + -- Julien Puydt Sun, 26 Nov 2023 13:01:50 +0100 + +fplll (5.4.4-3) unstable; urgency=medium + + * Add breaks+replace for libfplll7-data 5.4.3-2 (Closes: #1028292). + + -- Julien Puydt Mon, 16 Jan 2023 09:31:36 +0100 + +fplll (5.4.4-2) unstable; urgency=medium + + * Re-upload to unstable. + + -- Julien Puydt Sun, 08 Jan 2023 21:10:03 +0100 + +fplll (5.4.4-1) experimental; urgency=medium + + * New upstream release. + * Drop upstream patch for upstream #500. + * Bump soversion to version 8. + + -- Julien Puydt Fri, 06 Jan 2023 16:37:30 +0100 + +fplll (5.4.3-2) unstable; urgency=medium + + * Add upstream patch fixing upstream #500. + + -- Julien Puydt Thu, 29 Dec 2022 18:25:46 +0100 + +fplll (5.4.3-1) unstable; urgency=medium + + * New upstream release. + * Bump standards-version to 4.6.2. + * Avoid building with -j8 as it's too much for my box. + * Drop lintian overrides. + + -- Julien Puydt Tue, 27 Dec 2022 11:51:46 +0100 + +fplll (5.4.2-1) unstable; urgency=medium + + [ Debian Janitor ] + * debian/copyright: use spaces rather than tabs to start continuation lines. + * Set upstream metadata fields: Repository. + + [ Julien Puydt ] + * Move to the math team. + * Bump standards-version to 4.6.1. + * New upstream release. + * Refresh patches. + + -- Julien Puydt Mon, 30 May 2022 15:51:40 +0200 + +fplll (5.4.1-1) unstable; urgency=medium + + * New upstream release. + * Bump std-vers to 4.6.0. + * Drop fix for gcc 11 compilation (fixed upstream). + + -- Julien Puydt Sun, 22 Aug 2021 08:37:20 +0200 + +fplll (5.4.0-3) unstable; urgency=medium + + * Team Upload. + [ Andreas Tille ] + * Fix typo + + [ Nilesh Patra ] + * d/p/gcc11_fix.patch: Fix gcc11 FTBFS (Closes: #984136) + + [ Julien Puydt ] + * Fix d/watch. + + -- Nilesh Patra Sun, 15 Aug 2021 16:26:15 +0530 + +fplll (5.4.0-2) unstable; urgency=medium + + * Source-only upload to allow testing migration. + + -- Julien Puydt Sat, 19 Dec 2020 12:20:06 +0100 + +fplll (5.4.0-1) unstable; urgency=medium + + * New upstream release (refreshed patches). + * Drop now-useless lintian overrides. + * Bump std-vers to 4.5.1. + * Add a d/upstream/metadata file. + * Follow upstream soname bump. + * Drop manpage for latsieve, which isn't there anymore. + * Ship the binary-independent strategies file in a + binary-independent packet. + + -- Julien Puydt Sun, 06 Dec 2020 16:11:57 +0100 + +fplll (5.3.3-2) unstable; urgency=medium + + * Update the manpages. (Closes: #965011) + * Declare d/rules doesn't require root. + * Bump dh-compat to 13. + * Add lintian overrides, since the manpages have been + offered to upstream. + * Fix Vcs-Browser link. + * Refresh d/copyright. + + -- Julien Puydt Thu, 03 Sep 2020 22:02:08 +0200 + +fplll (5.3.3-1) unstable; urgency=medium + + * New upstream release. + * Update the team mail address. + * Bump std-ver to 4.5.0. + * Drop -Wl,--as-needed from d/rules (it's now the default). + * Ship the static library (Closes: #964062). + * Refresh patches and drop upstreamed ones. + * Add b-dep on pkg-config. + + -- Julien Puydt Sun, 05 Jul 2020 09:51:48 +0200 + +fplll (5.3.2-1) unstable; urgency=medium + + * New upstream release. + + -- Julien Puydt Mon, 13 Jan 2020 22:26:34 +0100 + +fplll (5.3.1-2) unstable; urgency=medium + + * Add workaround for missing -latomic + on some arches (Closes: #947718). + + -- Julien Puydt Sat, 04 Jan 2020 23:10:06 +0100 + +fplll (5.3.1-1) unstable; urgency=medium + + * New upstream release. + * Update fix_pc_file patch. + + -- Julien Puydt Mon, 23 Dec 2019 12:00:48 +0100 + +fplll (5.3.0-1) unstable; urgency=medium + + * New upstream release. + * Refresh patches. + * Move from debian/compat 11 to dh-compat 12. + * Bump std-ver to 4.4.1. + * Follow upstream soname bump from 5 to 6. + * Add patch to improve fplll.pc. + * Update d/copyright to new paths. + + -- Julien Puydt Fri, 20 Dec 2019 08:28:43 +0100 + +fplll (5.2.1-2) unstable; urgency=medium + + * Team upload. + * Upload to unstable. + + -- Tobias Hansen Wed, 26 Sep 2018 20:01:59 +0200 + +fplll (5.2.1-1) experimental; urgency=medium + + * New upstream release (soname bump to 5). + * Update packaging: + - Use my debian.org mail address. + - Bump dh compat to 11. + - Bump std-ver to 4.1.4. + - Point Vcs-* fields to salsa. + - Update dates in d/copyright. + - Drop upstreamed patches. + + -- Julien Puydt Tue, 03 Jul 2018 16:35:22 +0200 + +fplll (5.2.0-3) unstable; urgency=medium + + * Team upload. + * Upload to unstable. + + -- Tobias Hansen Sat, 30 Dec 2017 11:43:42 +0100 + +fplll (5.2.0-2) experimental; urgency=medium + + * Team upload. + * Add disable-test_int_rel_200.patch: + Disable a faulty test that fails on armel, armhf, mips, mipsel. + + -- Tobias Hansen Sat, 09 Dec 2017 11:23:42 +0100 + +fplll (5.2.0-1) experimental; urgency=medium + + * Team upload to experimental. + + [ Julien Puydt ] + * New upstream release. + * Bump std-ver to 4.1.1. + * Bump d/watch to version 4. + * Remove the test pruner patch : obsolete (upstream improved the code). + * Refresh the patch for versioned strategy paths. + * Follow upstream soname bump from 3 to 4. + * Add upstream patch to fix typos. + + -- Tobias Hansen Sun, 12 Nov 2017 16:05:16 +0100 + +fplll (5.1.0-3) unstable; urgency=medium + + [ Julien Puydt ] + * Improved the strategies patch (Closes: #870698). + * Bump standards-version to 4.0.0. + + [ Ximin Luo ] + * Backport an upstream commit that fixes tests on 32-bit systems. + * Add myself to Uploaders. + + -- Ximin Luo Wed, 16 Aug 2017 21:14:52 +0200 + +fplll (5.1.0-2) experimental; urgency=medium + + * Made the strategies file go in a versioned directory so different + libfplll packages are coinstallable (and document how to soname + bump in README.source as it becomes a bit involved). + + -- Julien Puydt Sun, 18 Jun 2017 08:46:35 +0200 + +fplll (5.1.0-1) experimental; urgency=medium + + * New upstream release. + * Follow the soname version bump. + * Updated the fplll(1) manpage. + + -- Julien Puydt Fri, 31 Mar 2017 08:39:32 +0200 + +fplll (5.0.3-1) unstable; urgency=medium + + * Add libmpfr-dev and libgmp-dev as depends of -dev (Closes: #841260). + * New upstream release. + + -- Julien Puydt Wed, 19 Oct 2016 21:29:47 +0200 + +fplll (5.0.2-2) unstable; urgency=medium + + * Push dh compat to 10, and simplify the packaging accordingly. + * Mark the -dev package as Multi-Arch:same following tracker hint. + * Upload to unstable. + + -- Julien Puydt Tue, 11 Oct 2016 14:33:57 +0200 + +fplll (5.0.2-1) experimental; urgency=medium + + * New upstream release. + * Dropping all patches, since upstream took them. + + -- Julien Puydt Thu, 01 Sep 2016 17:50:16 +0200 + +fplll (5.0.1-1) experimental; urgency=medium + + [Ximin Luo] + * Install pkgconfig file. + * Prepare a package for an upstream prerelease + (for sagemath use) + + [Julien Puydt] + * New stable upstream release. + * Bump standards-version up. + * Use https in Vcs-* fields. + * Complete d/copyright. + * Enable all hardening options. + * Added a patch for typos. + * Added a patch for the pkgconfig script. + * Added a manpage for latsieve. + * Follow soname bump. + + -- Julien Puydt Thu, 25 Aug 2016 14:24:41 +0200 + +fplll (4.0.4-2) unstable; urgency=low + + * Updated the build deps (Closes: #747999). + + -- Julien Puydt Sun, 18 May 2014 11:20:59 +0200 + +fplll (4.0.4-1) unstable; urgency=low + + * Upgraded to latest upstream. + * Updated homepage and upstream contact in the watch, copyright + and control file. + * Removed now useless patch (link to homepage in README.html). + * Changed the VCS uri to make lintian happy. + * Removed the lintian overrides for hardening-no-fortify-functions (useless). + + -- Julien Puydt Mon, 17 Jun 2013 21:41:04 +0200 + +fplll (4.0.3-1) unstable; urgency=low + + * Upgraded to latest upstream. + * Made "Euclidian" capitalized in all decriptions (Closes: #704556). + * Bumped Standards-Version: to 3.9.4. + + -- Julien Puydt Tue, 07 May 2013 18:41:27 +0200 + +fplll (4.0.1-2) unstable; urgency=low + + * Add the static library to the devel package (Closes: #702898). + + -- Julien Puydt Thu, 14 Mar 2013 22:09:06 +0100 + +fplll (4.0.1-1) unstable; urgency=low + + * Upgraded to latest upstream. + * Re-introduction in debian (Closes: #691192). + * Added a patch to fix a link issue in README.html. + * Made the manpages point to README.html in the libfplll-dev package. + * Changed the license of the debian directory to LGPL-2.1. + * Apply descriptions patch from Tobias Hansen. + + -- Julien Puydt Mon, 17 Dec 2012 22:08:00 +0200 + +fplll (4.0.0-1) unstable; urgency=low + + * New maintainer upload. Thanks Tim! + * Updated to the last upstream (Closes: #592354). + * Fully converted to dh and source format 3.0 (quilt). + * Added a watch file. + * New upstream has tools, so spawn a new fplll-tools package off this + source package. + * New upstream switched from GPL to LGPL, so reflect it in the copyright. + * Added manpages for binaries (generated using help2man -N then edited). + + -- Julien Puydt Sun, 27 May 2012 15:04:51 +0200 + +fplll (2.1.6+20071129-2.1) unstable; urgency=low + + * Non-maintainer upload. + * Don't ship .la files (Closes: #621188). + + -- Luk Claes Sat, 11 Jun 2011 17:23:13 +0200 + +fplll (2.1.6+20071129-2) unstable; urgency=low + + * Fix remaining uses of ldexpl to use DPE_LDEXPL, which falls back to + ldexp if ldexpl isn't available. Thanks to Thiemo Seufer. (Closes: + #495465) + + -- Tim Abbott Sun, 17 Aug 2008 13:22:35 -0400 + +fplll (2.1.6+20071129-1) unstable; urgency=low + + * Initial release (Closes: #480081). + + -- Tim Abbott Tue, 27 May 2008 20:21:00 -0400 diff --git a/control b/control new file mode 100644 index 0000000..e32cbc3 --- /dev/null +++ b/control @@ -0,0 +1,94 @@ +Source: fplll +Section: math +Priority: optional +Maintainer: Debian Math Team +Uploaders: Tim Abbott , + Julien Puydt , + Ximin Luo +Homepage: https://github.com/fplll/fplll/ +Build-Depends: debhelper-compat (= 13), libmpfr-dev, pkg-config +Standards-Version: 4.6.2 +Rules-Requires-Root: no +Vcs-Git: https://salsa.debian.org/math-team/fplll.git +Vcs-Browser: https://salsa.debian.org/math-team/fplll + +Package: libfplll8 +Architecture: any +Multi-Arch: same +Section: libs +Pre-Depends: ${misc:Pre-Depends} +Depends: ${shlibs:Depends}, ${misc:Depends}, libfplll8-data (= ${source:Version}) +Description: Library for LLL-reduction of Euclidean lattices, runtime + fpLLL is a library for computing reduced (nearly orthogonal) bases + for Euclidean lattices using the LLL algorithm. + . + fpLLL contains multiple different implementations of the + floating-point LLL reduction algorithm, offering multiple different + speed/guarantees ratios. + . + It contains a 'wrapper' that chooses the estimated best sequence of + variants in order to provide a guaranteed output as fast as possible. + In the case of the wrapper, the succession of variants is oblivious + to the user. + . + This package contains the shared library libfplll. + +Package: libfplll8-data +Architecture: all +Multi-Arch: foreign +Section: libs +Depends: ${misc:Depends} +Breaks: libfplll7-data (= 5.4.3-2) +Replaces: libfplll7-data (= 5.4.3-2) +Description: Library for LLL-reduction of Euclidean lattices, data + fpLLL is a library for computing reduced (nearly orthogonal) bases + for Euclidean lattices using the LLL algorithm. + . + fpLLL contains multiple different implementations of the + floating-point LLL reduction algorithm, offering multiple different + speed/guarantees ratios. + . + It contains a 'wrapper' that chooses the estimated best sequence of + variants in order to provide a guaranteed output as fast as possible. + In the case of the wrapper, the succession of variants is oblivious + to the user. + . + This package contains the architecture-independent data. + +Package: libfplll-dev +Architecture: any +Multi-Arch: same +Section: libdevel +Depends: ${misc:Depends}, libgmp-dev, libmpfr-dev, libfplll8 (= ${binary:Version}) +Description: Library for LLL-reduction of Euclidean lattices, development + fpLLL is a library for computing reduced (nearly orthogonal) bases + for Euclidean lattices using the floating-point LLL algorithm. + . + fpLLL contains multiple different implementations of the + floating-point LLL reduction algorithm, offering multiple different + speed/guarantees ratios. + . + It contains a 'wrapper' that chooses the estimated best sequence of + variants in order to provide a guaranteed output as fast as possible. + In the case of the wrapper, the succession of variants is oblivious + to the user. + . + This package contains development files for libfplll. + +Package: fplll-tools +Architecture: any +Depends: libfplll8 (= ${binary:Version}), ${shlibs:Depends}, ${misc:Depends} +Description: Tools to compute LLL-reduction of Euclidian lattices + fpLLL is a library for computing reduced (nearly orthogonal) bases + for Euclidean lattices using the floating-point LLL algorithm. + . + fpLLL contains multiple different implementations of the + floating-point LLL reduction algorithm, offering multiple different + speed/guarantees ratios. + . + It contains a 'wrapper' that chooses the estimated best sequence of + variants in order to provide a guaranteed output as fast as possible. + In the case of the wrapper, the succession of variants is oblivious + to the user. + . + This package contains the base tools using libfplll. diff --git a/copyright b/copyright new file mode 100644 index 0000000..eedde8c --- /dev/null +++ b/copyright @@ -0,0 +1,174 @@ +Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ +Upstream-Name: fplll +Upstream-Contact: Damien Stehlé +Source: https://github.com/fplll/fplll/ + +Files: * +Copyright: 2007, David Cade + 2005-2008, Damien Stehle + 2008-2011, Xavier Pujol +License: LGPL-2.1+ + +Files: fplll/bkz.* +Copyright: 2011 Xavier Pujol + 2014-2016 Martin Albrecht + 2016 Michael Walter +License: LGPL-2.1+ + +Files: fplll/bkz_param.h +Copyright: 2014-2016 Martin Albrecht +License: LGPL-2.1+ + +Files: fplll/defs.h +Copyright: 2005-2008 Damien Stehle + 2007 David Cade + 2011 Xavier Pujol + 2013 Damien Stehle +License: LGPL-2.1+ + +Files: fplll/enum/enumerate_base.* fplll/enum/enumerate.* +Copyright: 2008-2011 Xavier Pujol + 2015 Michael Walter + 2016 Marc Stevens + 2016 Guillaume Bonnoron +License: LGPL-2.1+ + +Files: fplll/enum/enumerate_ext.* +Copyright: 2016 Marc Stevens +License: LGPL-2.1+ + +Files: fplll/enum-parallel/* +Copyright: 2016 Marc Stevens +License: Expat + +Files: fplll/gso_gram.* fplll/gso_interface.* +Copyright: 2005-2008 Damien Stehle + 2007 David Cade + 2011 Xavier Pujol + 2019 Koen de Boer +License: LGPL-2.1+ + +Files: fplll/hlll.* fplll/householder.* +Copyright: 2005-2008 Damien Stehle + 2007 David Cade + 2011 Xavier Pujol + 2017-2018 Laurent Grémy +License: LGPL-2.1+ + +Files: fplll/io/json.hpp +Copyright: 2013-2016 Niels Lohmann +License: Expat + +Files: fplll/io/thread_pool.hpp +Copyright: 2017 Marc Stevens +License: Expat + +Files: fplll/nr/dpe.h +Copyright: 2004, 2005, 2006, 2008 Patrick Pelissier, Paul Zimmermann, LORIA/INRIA Nancy - Grand-Est. +License: LGPL-2.1+ + +Files: fplll/pruner/pruner.cpp +Copyright: 2015-2017 Martin Albrecht, Leo Ducas +License: LGPL-2.1+ + +Files: fplll/pruner/pruner.h +Copyright: 2015-2017 Martin Albrecht, Leo Ducas + 2018 Shi Bai +License: LGPL-2.1+ + +Files: fplll/threadpool.* +Copyright: 2019 Marc Stevens +License: LGPL-2.1+ + +Files: tests/test_bkz.cpp tests/test_nr.cpp +Copyright: 2016 Martin Albrecht +License: LGPL-2.1+ + +Files: tests/test_bkz_gram.cpp +Copyright: 2016 Martin Albrecht + 2019 Koen de Boer & Wessel van Woerden +License: LGPL-2.1+ + +Files: tests/test_cvp.cpp +Copyright: 2016 Guillaume Bonnoron +License: LGPL-2.1+ + +Files: tests/test_enum.cpp +Copyright: 2019 Martin Albrecht +License: LGPL-2.1+ + +Files: tests/test_gso.cpp tests/test_lll.cpp +Copyright: 2015 Martin Albrecht +License: LGPL-2.1+ + +Files: tests/test_hlll.cpp +Copyright: 2015 Martin Albrecht + 2017-2018 Laurent Grémy +License: LGPL-2.1+ + +Files: tests/test_lll_gram.cpp +Copyright: 2015 Martin Albrecht + 2019 Koen de Boer & Wessel van Woerden +License: LGPL-2.1+ + +Files: tests/test_pruner.cpp +Copyright: 2016 Leo Ducas +License: LGPL-2.1+ + +Files: tests/test_svp.cpp +Copyright: 2015 Martin Albrecht + 2016 Michael Walter +License: LGPL-2.1+ + +Files: tests/test_svp_gram.cpp +Copyright: 2015 Martin Albrecht + 2016 Michael Walter + 2019 Koen de Boer & Wessel van Woerden +License: LGPL-2.1+ + +Files: tools/reformat*.pl +Copyright: 2013 Damien Stehle +License: LGPL-2.1+ + +Files: debian/* +Copyright: 2008, Tim Abbott + 2012-2020, Julien Puydt +License: LGPL-2.1+ + +License: LGPL-2.1+ + This file is part of fplll. fplll is free software: you + can redistribute it and/or modify it under the terms of the GNU Lesser + General Public License as published by the Free Software Foundation, + either version 2.1 of the License, or (at your option) any later version. + . + fplll is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU Lesser General Public License for more details. + . + You should have received a copy of the GNU Lesser General Public License + along with fplll. If not, see . + . + On Debian systems, the complete text of the GNU Lesser General Public + License 2.1 can be found in `/usr/share/common-licenses/LGPL-2.1'. + +License: Expat + Permission is hereby granted, free of charge, to any person + obtaining a copy of this software and associated documentation files + (the "Software"), to deal in the Software without restriction, + including without limitation the rights to use, copy, modify, merge, + publish, distribute, sublicense, and/or sell copies of the Software, + and to permit persons to whom the Software is furnished to do so, + subject to the following conditions: + . + The above copyright notice and this permission notice shall be + included in all copies or substantial portions of the Software. + . + THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, + EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF + MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND + NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS + BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN + ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN + CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE + SOFTWARE. diff --git a/fplll-tools.install b/fplll-tools.install new file mode 100644 index 0000000..4cb4bd3 --- /dev/null +++ b/fplll-tools.install @@ -0,0 +1 @@ +/usr/bin/* diff --git a/fplll-tools.manpages b/fplll-tools.manpages new file mode 100644 index 0000000..0abf739 --- /dev/null +++ b/fplll-tools.manpages @@ -0,0 +1,2 @@ +debian/fplll.1 +debian/latticegen.1 diff --git a/fplll.1 b/fplll.1 new file mode 100644 index 0000000..503dd72 --- /dev/null +++ b/fplll.1 @@ -0,0 +1,112 @@ +.TH FPLLL "1" "September 2020" "fplll 5.3.3" "User Commands" +.SH NAME +fplll \- fplll applies LLL, BKZ or SVP on a given set of row vectors (either from stdin or in a file given as parameter) +.SH SYNOPSIS +.B fplll +[\fIoptions\fR] [\fIfile\fR] +.SH DESCRIPTION +See /usr/share/doc/libfplll-dev/README.md.gz from the libfplll-dev package for more details. +.SS "List of options:" +.HP +\fB\-a\fR [lll|bkz|hkz|svp|sdb|sld|cvp|hlll] +.IP +lll = LLL\-reduce the input matrix (default) + +bkz = BKZ\-reduce the input matrix + +hkz = HKZ\-reduce the input matrix + +svp = compute a shortest non\-zero vector of the lattice + +sdb = reduce the input matrix using the self dual BKZ variant + +sld = slide reduce the input matrix + +cvp = compute the vector in the input lattice closest to an input vector + +hlll = HLLL\-reduce the input matrix +.HP +\fB\-v\fR +.IP +Enable verbose mode +.HP +\fB\-nolll\fR +.IP +Does not apply the initial LLL-reduction (for bkz, hkz and svp) +.HP +\fB\-c\fR (default: 0.1) +.IP +An arbitrary double constant > 0 for HLLL +.HP +\fB\-r\fR +.IP +Was the number of rows (ignored) +.HP +\fB\-d\fR (default: 0.99) +\fB\-delta\fR (default: 0.99) +.HP +\fB\-e\fR (default: 0.51) +\fB\-eta\fR (default: 0.51) +.HP +\fB\-t\fR (default: 0.001) +\fB\-theta\fR (default: 0.001) +.HP +\fB\-l\fR +.IP +If not zero, use Lovasz's condition, otherwise Siegel's +.HP +\fB\-f\fR [mpfr|dd|qd|dpe|double|longdouble] +.IP +Floating\-point type in LLL +.HP +\fB\-p\fR +.IP +Floating\-point precision (only with \fB\-f\fR mpfr) +.HP +\fB\-z\fR [mpz|int|long|double] +.IP +Integer type in LLL (default: mpz ; long is the same as int) +.HP +\fB\-m\fR [wrapper|fast|heuristic|proved] +.IP +LLL version (default: wrapper) +.HP +\fB\-y\fR +.IP +Enable early reduction +.HP +\fB\-b\fR +.IP +Size of BKZ blocks +.HP +\fB\-bkzmaxloops\fR +.IP +Maximum number of full loop iterations +.HP +\fB\-bkzmaxtime\fR +.IP +Stops after seconds. +.HP +\fB\-bkzautoabort\fR +.IP +Stops when the average slope does not decrease fast enough +.HP +\fB\-s\fR +.IP +Load BKZ strategies from filename +.HP +\fB\-bkzghbound\fR +.IP +Multiplies the Gaussian heuristic by (of float type) +.HP +\fB\-bkzboundedlll\fR +.IP +Restricts the LLL call +.HP +\fB\-bkzdumpgso\fR +.IP +Dumps the log of the Gram-Schmidt vectors in specified file +.HP +\fB\-of\fR [b|c|s|t|u|v|bk|uk|vk] +.IP +Output formats. diff --git a/gbp.conf b/gbp.conf new file mode 100644 index 0000000..cec628c --- /dev/null +++ b/gbp.conf @@ -0,0 +1,2 @@ +[DEFAULT] +pristine-tar = True diff --git a/latticegen.1 b/latticegen.1 new file mode 100644 index 0000000..32342bd --- /dev/null +++ b/latticegen.1 @@ -0,0 +1,31 @@ +.TH LATTICEGEN "1" "September 2020" "latticegen (fplll) 5.3.3" "User Commands" +.SH NAME +latticegen \- latticegen generates matrices whose rows form input lattice bases +.SH SYNOPSIS +.B latticegen +[\fI-randseed \fR[\fI | 'time'\fR]] \fIoptions\fR +.SH DESCRIPTION +See /usr/share/doc/libfplll-dev/README.md.gz from the libfplll-dev package for more details. + +.SS "Options :" +.HP +\fBr\fR : gen_intrel +.IP +.HP +\fBs\fR : gen_simdioph +.IP +.HP +\fBu\fR : gen_uniform +.IP +.HP +\fBn\fR : gen_ntrulike +.IP +.HP +\fBN\fR : gen_ntrulike2 +.IP +.HP +\fBa\fR : gen_ajtai +.IP +.HP +\fBA\fR : gen_ajtai2 +.IP diff --git a/libfplll-dev.README.Debian b/libfplll-dev.README.Debian new file mode 100644 index 0000000..352375b --- /dev/null +++ b/libfplll-dev.README.Debian @@ -0,0 +1 @@ +This 5.x.y series is incompatible with the previous versions. diff --git a/libfplll-dev.doc-base b/libfplll-dev.doc-base new file mode 100644 index 0000000..a24407f --- /dev/null +++ b/libfplll-dev.doc-base @@ -0,0 +1,9 @@ +Document: libfplll +Title: fpLLL: a library for LLL-reduction of Euclidean lattices +Author: David Cade, Damien Stehle and Xavier Pujol +Abstract: This document describes fpLLL, describing both the tools and the library +Section: Science/Mathematics + +Format: Text +Index: /usr/share/doc/libfplll-dev/README.md.gz +Files: /usr/share/doc/libfplll-dev/README.md.gz diff --git a/libfplll-dev.docs b/libfplll-dev.docs new file mode 100644 index 0000000..b43bf86 --- /dev/null +++ b/libfplll-dev.docs @@ -0,0 +1 @@ +README.md diff --git a/libfplll-dev.install b/libfplll-dev.install new file mode 100644 index 0000000..c59e584 --- /dev/null +++ b/libfplll-dev.install @@ -0,0 +1,4 @@ +/usr/include/* +/usr/lib/*/*.so +/usr/lib/*/*.a +/usr/lib/*/pkgconfig/*.pc diff --git a/libfplll8-data.install b/libfplll8-data.install new file mode 100644 index 0000000..f969ffb --- /dev/null +++ b/libfplll8-data.install @@ -0,0 +1 @@ +usr/share/libfplll?/strategies/default.json \ No newline at end of file diff --git a/libfplll8.README.Debian b/libfplll8.README.Debian new file mode 100644 index 0000000..352375b --- /dev/null +++ b/libfplll8.README.Debian @@ -0,0 +1 @@ +This 5.x.y series is incompatible with the previous versions. diff --git a/libfplll8.install b/libfplll8.install new file mode 100644 index 0000000..a451edd --- /dev/null +++ b/libfplll8.install @@ -0,0 +1 @@ +/usr/lib/*/*.so.* diff --git a/libfplll8.shlibs b/libfplll8.shlibs new file mode 100644 index 0000000..2ebf8ed --- /dev/null +++ b/libfplll8.shlibs @@ -0,0 +1 @@ +libfplll 8 libfplll8 (>= 5.4.0) diff --git a/patches/libgmp_subst.patch b/patches/libgmp_subst.patch new file mode 100644 index 0000000..385aa6b --- /dev/null +++ b/patches/libgmp_subst.patch @@ -0,0 +1,15 @@ +Description: Add a missing substitution +Author: Julien Puydt +Forwarded: https://github.com/fplll/fplll/issues/356 + +--- fplll.orig/configure.ac ++++ fplll/configure.ac +@@ -84,6 +84,8 @@ + [GMP version >= 4.2.0 needed, see http://gmplib.org])]) + ]) + ++AC_SUBST(LIBGMP) ++ + AC_ARG_WITH(mpfr, + AS_HELP_STRING([--with-mpfr=@<:@=DIR@:>@], [MPFR install directory]), [ + CPPFLAGS="$CPPFLAGS -I$withval/include" diff --git a/patches/series b/patches/series new file mode 100644 index 0000000..f252bc0 --- /dev/null +++ b/patches/series @@ -0,0 +1,2 @@ +versioned_strategies_path +libgmp_subst.patch diff --git a/patches/versioned_strategies_path b/patches/versioned_strategies_path new file mode 100644 index 0000000..00a03e9 --- /dev/null +++ b/patches/versioned_strategies_path @@ -0,0 +1,72 @@ +Description: Install the strategies in a soname-versioned directory + This makes different libfplll packages coinstallable. +Author: Julien Puydt +Forwarded: yes + +--- fplll.orig/Makefile.am ++++ fplll/Makefile.am +@@ -8,7 +8,7 @@ + pkgconfigdir = $(libdir)/pkgconfig + pkgconfig_DATA = fplll.pc + +-strategydir = $(pkgdatadir)/strategies ++strategydir = @FPLLL_DEFAULT_STRATEGY_PATH@ + dist_strategy_DATA = strategies/default.json + + CLANGFORMAT ?= clang-format +--- fplll.orig/configure.ac ++++ fplll/configure.ac +@@ -217,6 +217,12 @@ + AC_DEFINE_UNQUOTED([FPLLL_VERSION],[$FPLLL_VERSION],[full version]) + AC_DEFINE_UNQUOTED([FPLLL_VERSION_INFO],[$FPLLL_VERSION_INFO],[long version string]) + ++FPLLL_DEFAULT_STRATEGY_PATH=\"/usr/share/libfplll$FPLLL_LT_CURRENT/strategies/\" ++AC_DEFINE_UNQUOTED([FPLLL_DEFAULT_STRATEGY_PATH], [$FPLLL_DEFAULT_STRATEGY_PATH], [path to default strategy]) ++AC_SUBST(FPLLL_DEFAULT_STRATEGY_PATH) ++AC_DEFINE_UNQUOTED([FPLLL_DEFAULT_STRATEGY], ["default.json"], [name of default strategy]) ++AC_SUBST(FPLLL_DEFAULT_STRATEGY) ++ + AC_CONFIG_HEADERS([fplll/fplll_config.h]) + + AC_CONFIG_FILES([Makefile +--- fplll.orig/fplll/defs.h ++++ fplll/fplll/defs.h +@@ -280,14 +280,6 @@ + HKZ_VERBOSE = 1 + }; + +-#ifndef FPLLL_DEFAULT_STRATEGY_PATH +-#define FPLLL_DEFAULT_STRATEGY_PATH "" +-#endif +- +-#ifndef FPLLL_DEFAULT_STRATEGY +-#define FPLLL_DEFAULT_STRATEGY "" +-#endif +- + enum PrunerMetric + { + PRUNER_METRIC_PROBABILITY_OF_SHORTEST = 0, +--- fplll.orig/fplll/fplll_config.h.in ++++ fplll/fplll/fplll_config.h.in +@@ -22,6 +22,10 @@ + /* fplll version info */ + #define FPLLL_VERSION_INFO @FPLLL_VERSION_INFO@ + ++/* fplll default strategy */ ++#define FPLLL_DEFAULT_STRATEGY_PATH @FPLLL_DEFAULT_STRATEGY_PATH@ ++#define FPLLL_DEFAULT_STRATEGY @FPLLL_DEFAULT_STRATEGY@ ++ + /* Maximum supported enumeration dimension */ + #define FPLLL_MAX_ENUM_DIM @FPLLL_MAX_ENUM_DIM@ + +--- fplll.orig/fplll/Makefile.am ++++ fplll/fplll/Makefile.am +@@ -2,7 +2,7 @@ + TOPSRCDIR = $(srcdir)/.. + strategydir = $(pkgdatadir)/strategies + # see https://stackoverflow.com/questions/5867136/autoconf-how-to-get-installation-paths-into-config-h +-AM_CPPFLAGS = -DFPLLL_DEFAULT_STRATEGY_PATH=\"$(strategydir)\" -DFPLLL_DEFAULT_STRATEGY=\"$(strategydir)/default.json\" -I$(TOPSRCDIR) ++AM_CPPFLAGS = -I$(TOPSRCDIR) + EXTRA_DIST = io/json.hpp ballvol.const factorial.const + + CLEANFILES = *.gcov .libs/*.gcda .libs/*.gcno *.gcno *.gcda */*.gcno */*.gcda diff --git a/rules b/rules new file mode 100755 index 0000000..4b52494 --- /dev/null +++ b/rules @@ -0,0 +1,26 @@ +#!/usr/bin/make -f + +# Workaround for RC bug #947718 +# I worked on it on abel.debian.org, a porterbox +# for which I thank: +# - ARM Ltd for hosting +# - Marvell Technology Group Ltd for the hardware +ifneq (,$(findstring $(DEB_HOST_ARCH),armel mipsel m68k powerpc sh4)) +export DEB_LDFLAGS_MAINT_APPEND=-latomic +endif + +export DEB_CPPFLAGS_MAINT_APPEND= -D_LARGEFILE_SOURCE +export DEB_BUILD_MAINT_OPTIONS = hardening=+all + +%: + dh $@ + +override_dh_auto_build: + make -j2 # make -j8 is too much for J.Puydt's box + +override_dh_install: + dh_install + find debian -name "*.la" -type f -delete + +override_dh_installchangelogs: + dh_installchangelogs NEWS diff --git a/salsa-ci.yml b/salsa-ci.yml new file mode 100644 index 0000000..cacde36 --- /dev/null +++ b/salsa-ci.yml @@ -0,0 +1,3 @@ +include: + - https://salsa.debian.org/salsa-ci-team/pipeline/raw/master/salsa-ci.yml + - https://salsa.debian.org/salsa-ci-team/pipeline/raw/master/pipeline-jobs.yml diff --git a/source/format b/source/format new file mode 100644 index 0000000..163aaf8 --- /dev/null +++ b/source/format @@ -0,0 +1 @@ +3.0 (quilt) diff --git a/upstream/metadata b/upstream/metadata new file mode 100644 index 0000000..9468bdd --- /dev/null +++ b/upstream/metadata @@ -0,0 +1,5 @@ +--- +Repository: https://github.com/fplll/fplll.git +Repository-Browse: https://github.com/fplll/fplll/src +Bug-Database: https://github.com/fplll/fplll/issues +Bug-Submit: https://github.com/fplll/issues/new diff --git a/watch b/watch new file mode 100644 index 0000000..a0b600b --- /dev/null +++ b/watch @@ -0,0 +1,2 @@ +version=4 +https://github.com/fplll/fplll/tags .*/([\d.]*)\.tar\.gz -- 2.30.2