From f320835be5084924d0e3e55bd8e5cb36d3df4e13 Mon Sep 17 00:00:00 2001 From: Julien Puydt Date: Wed, 19 Oct 2016 20:29:47 +0100 Subject: [PATCH] Import fplll_5.0.3-1.debian.tar.xz [dgit import tarball fplll 5.0.3-1 fplll_5.0.3-1.debian.tar.xz] --- changelog | 117 ++++++++++++++++++++++++++++++++++ compat | 1 + control | 70 ++++++++++++++++++++ copyright | 65 +++++++++++++++++++ fplll-tools.install | 1 + fplll-tools.lintian-overrides | 2 + fplll-tools.manpages | 3 + fplll.1 | 55 ++++++++++++++++ gbp.conf | 2 + latsieve.1 | 43 +++++++++++++ latticegen.1 | 36 +++++++++++ libfplll-dev.README.Debian | 1 + libfplll-dev.doc-base | 9 +++ libfplll-dev.docs | 1 + libfplll-dev.install | 3 + libfplll2.README.Debian | 1 + libfplll2.install | 2 + libfplll2.lintian-overrides | 2 + libfplll2.shlibs | 1 + rules | 14 ++++ source/format | 1 + watch | 2 + 22 files changed, 432 insertions(+) create mode 100644 changelog create mode 100644 compat create mode 100644 control create mode 100644 copyright create mode 100644 fplll-tools.install create mode 100644 fplll-tools.lintian-overrides create mode 100644 fplll-tools.manpages create mode 100644 fplll.1 create mode 100644 gbp.conf create mode 100644 latsieve.1 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 libfplll2.README.Debian create mode 100644 libfplll2.install create mode 100644 libfplll2.lintian-overrides create mode 100644 libfplll2.shlibs create mode 100755 rules create mode 100644 source/format create mode 100644 watch diff --git a/changelog b/changelog new file mode 100644 index 0000000..a7ceba6 --- /dev/null +++ b/changelog @@ -0,0 +1,117 @@ +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/compat b/compat new file mode 100644 index 0000000..f599e28 --- /dev/null +++ b/compat @@ -0,0 +1 @@ +10 diff --git a/control b/control new file mode 100644 index 0000000..a2d846d --- /dev/null +++ b/control @@ -0,0 +1,70 @@ +Source: fplll +Section: math +Priority: optional +Maintainer: Debian Science Maintainers +Uploaders: Tim Abbott , + Julien Puydt +Homepage: https://github.com/fplll/fplll/ +Build-Depends: debhelper (>= 10), libmpfr-dev +Standards-Version: 3.9.8 +Vcs-Git: https://anonscm.debian.org/git/debian-science/packages/fplll.git +Vcs-Browser: https://anonscm.debian.org/cgit/debian-science/packages/fplll.git + +Package: libfplll2 +Architecture: any +Multi-Arch: same +Section: libs +Pre-Depends: ${misc:Pre-Depends} +Depends: ${shlibs:Depends}, ${misc:Depends} +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: libfplll-dev +Architecture: any +Multi-Arch: same +Section: libdevel +Depends: ${misc:Depends}, libgmp-dev, libmpfr-dev, libfplll2 (= ${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: libfplll2 (= ${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..b3c4712 --- /dev/null +++ b/copyright @@ -0,0 +1,65 @@ +Format: http://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/nr/dpe.h +Copyright: 2004, 2005, 2006, 2008 Patrick Pelissier, Paul Zimmermann, LORIA/INRIA Nancy - Grand-Est. +License: LGPL-2.1+ + +Files: fplll/pruner.* tests/* +Copyright: 2015-2016 Martin Albrecht, Leo Ducas +License: LGPL-2.1+ + +Files: fplll/io/json.hpp +Copyright: 2013-2016 Niels Lohmann +License: Expat + +Files: debian/* +Copyright: 2008, Tim Abbott + 2012-2016, 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.lintian-overrides b/fplll-tools.lintian-overrides new file mode 100644 index 0000000..6a7b39c --- /dev/null +++ b/fplll-tools.lintian-overrides @@ -0,0 +1,2 @@ +# False positive, see #673112 +fplll-tools binary: hardening-no-stackprotector diff --git a/fplll-tools.manpages b/fplll-tools.manpages new file mode 100644 index 0000000..485c81f --- /dev/null +++ b/fplll-tools.manpages @@ -0,0 +1,3 @@ +debian/fplll.1 +debian/latsieve.1 +debian/latticegen.1 diff --git a/fplll.1 b/fplll.1 new file mode 100644 index 0000000..46238d9 --- /dev/null +++ b/fplll.1 @@ -0,0 +1,55 @@ +.TH FPLLL "1" "May 2012" "fplll 4.0.0" "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.html from the libfplll-dev package for more details. +.SS "List of options:" +.HP +\fB\-a\fR [lll|svp] +.IP +lll = LLL\-reduce the input matrix (default) +bkz = BKZ\-reduce the input matrix +svp = compute a shortest non\-zero vector of the lattice +.HP +\fB\-m\fR [proved|heuristic|fast|wrapper] +.IP +LLL version (default: wrapper) +.HP +\fB\-z\fR [int|mpz|double] +.IP +Integer type in LLL (default: mpz) +.HP +\fB\-f\fR [mpfr|dpe|double] +.IP +Floating\-point type in LLL (proved/heuristic method only; default: dpe) +.HP +\fB\-p\fR +.IP +Floating\-point precision (only with \fB\-f\fR mpfr) +.HP +\fB\-d\fR (default=0.99) +.HP +\fB\-e\fR (default=0.51) +.HP +\fB\-l\fR +.HP +\fB\-y\fR +.IP +Enable early reduction +.HP +\fB\-b\fR +.IP +Size of BKZ blocks +.HP +\fB\-v\fR +.IP +Enable verbose mode +.SH COPYRIGHT +Copyright 2005\-2012 Damien Stehle, David Cade, Xavier Pujol. +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. 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/latsieve.1 b/latsieve.1 new file mode 100644 index 0000000..cf8051d --- /dev/null +++ b/latsieve.1 @@ -0,0 +1,43 @@ +.TH LATSIEVE "1" "August 2016" "latsieve" "User Commands" +.SH NAME +latsieve \- Gauss sieving +.SH SYNOPSIS +.B latsieve +[\fI\,options\/\fR] +.SH DESCRIPTION + Implementation of Gauss sieving, based on Panagiotis Voulgaris' implementation +.SS "List of options:" +.HP +\fB\-a\fR [2|3|4] +.IP +2\- or 3\- or 4\-sieve; +.HP +\fB\-f\fR filename +.IP +Input filename +.HP +\fB\-r\fR nnn +.IP +Generate a random instance of dimension nnn +.HP +\fB\-t\fR nnn +.IP +Targeted norm^2=nnn +.HP +\fB\-s\fR nnn +.IP +Using seed=nnn +.HP +\fB\-b\fR nnn +.IP +BKZ preprocessing of blocksize=nnn +.HP +\fB\-v\fR +.IP +Verbose mode +.SH COPYRIGHT +Copyright 2005\-2016 Damien Stehle, David Cade, Xavier Pujol. +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. diff --git a/latticegen.1 b/latticegen.1 new file mode 100644 index 0000000..785f000 --- /dev/null +++ b/latticegen.1 @@ -0,0 +1,36 @@ +.TH LATTICEGEN "1" "May 2012" "latticegen (fplll) 4.0.0" "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.html from the libfplll-dev package for more details. +.SS "Options :" +.HP +r : gen_intrel +.IP +.HP +s : gen_simdioph +.IP +.HP +u : gen_uniform +.IP +.HP +n : gen_ntrulike +.IP +.HP +N : gen_ntrulike2 +.IP +.HP +a : gen_ajtai +.IP +.HP +A : gen_ajtai2 +.IP +.SH COPYRIGHT +Copyright 2005\-2011 Damien Stehle, David Cade, Xavier Pujol. +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. 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..13f41c4 --- /dev/null +++ b/libfplll-dev.install @@ -0,0 +1,3 @@ +/usr/include/* +/usr/lib/*/*.so +/usr/lib/*/pkgconfig/*.pc diff --git a/libfplll2.README.Debian b/libfplll2.README.Debian new file mode 100644 index 0000000..352375b --- /dev/null +++ b/libfplll2.README.Debian @@ -0,0 +1 @@ +This 5.x.y series is incompatible with the previous versions. diff --git a/libfplll2.install b/libfplll2.install new file mode 100644 index 0000000..5418fa6 --- /dev/null +++ b/libfplll2.install @@ -0,0 +1,2 @@ +/usr/lib/*/*.so.* +usr/share/fplll/strategies/default.json diff --git a/libfplll2.lintian-overrides b/libfplll2.lintian-overrides new file mode 100644 index 0000000..29eaa33 --- /dev/null +++ b/libfplll2.lintian-overrides @@ -0,0 +1,2 @@ +# False positive, see bug #673112 +libfplll2 binary: hardening-no-stackprotector diff --git a/libfplll2.shlibs b/libfplll2.shlibs new file mode 100644 index 0000000..594e841 --- /dev/null +++ b/libfplll2.shlibs @@ -0,0 +1 @@ +libfplll 2 libfplll2 (>= 5.0.1) diff --git a/rules b/rules new file mode 100755 index 0000000..06b3343 --- /dev/null +++ b/rules @@ -0,0 +1,14 @@ +#!/usr/bin/make -f + +export DEB_LDFLAGS_MAINT_APPEND=-Wl,--as-needed +export DEB_CPPFLAGS_MAINT_APPEND= -D_LARGEFILE_SOURCE +export DEB_BUILD_MAINT_OPTIONS = hardening=+all + +%: + dh $@ + +override_dh_auto_configure: + dh_auto_configure -- --disable-static + +override_dh_installchangelogs: + dh_installchangelogs NEWS 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/watch b/watch new file mode 100644 index 0000000..33f293f --- /dev/null +++ b/watch @@ -0,0 +1,2 @@ +version=3 +https://github.com/fplll/fplll/tags .*/archive/([\d.]*)\.tar\.gz -- 2.30.2