From 851c768147defa47e4c8e5070d35447e8e29e5c8 Mon Sep 17 00:00:00 2001 From: Julien Puydt Date: Sun, 18 May 2014 10:20:59 +0100 Subject: [PATCH] Import fplll_4.0.4-2.debian.tar.xz [dgit import tarball fplll 4.0.4-2 fplll_4.0.4-2.debian.tar.xz] --- changelog | 75 +++++++++++++++++++++++++++++++++++ compat | 1 + control | 69 ++++++++++++++++++++++++++++++++ copyright | 43 ++++++++++++++++++++ fplll-tools.install | 1 + fplll-tools.lintian-overrides | 2 + fplll-tools.manpages | 2 + fplll.1 | 55 +++++++++++++++++++++++++ gbp.conf | 2 + latticegen.1 | 36 +++++++++++++++++ libfplll-dev.README.Debian | 3 ++ libfplll-dev.doc-base | 9 +++++ libfplll-dev.docs | 1 + libfplll-dev.install | 3 ++ libfplll0.README.Debian | 3 ++ libfplll0.install | 1 + libfplll0.lintian-overrides | 2 + libfplll0.shlibs | 1 + rules | 30 ++++++++++++++ source/format | 1 + watch | 2 + 21 files changed, 342 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 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 libfplll0.README.Debian create mode 100644 libfplll0.install create mode 100644 libfplll0.lintian-overrides create mode 100644 libfplll0.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..3e7c4bd --- /dev/null +++ b/changelog @@ -0,0 +1,75 @@ +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..ec63514 --- /dev/null +++ b/compat @@ -0,0 +1 @@ +9 diff --git a/control b/control new file mode 100644 index 0000000..0e6b536 --- /dev/null +++ b/control @@ -0,0 +1,69 @@ +Source: fplll +Section: math +Priority: optional +Maintainer: Debian Science Maintainers +Uploaders: Tim Abbott , + Julien Puydt +Homepage: http://perso.ens-lyon.fr/damien.stehle/fplll/ +Build-Depends: debhelper (>= 9), dh-autoreconf (>= 4~), libmpfr-dev +Standards-Version: 3.9.5 +Vcs-Git: git://anonscm.debian.org/git/debian-science/packages/fplll +Vcs-Browser: http://anonscm.debian.org/gitweb/?p=debian-science/packages/fplll.git + +Package: libfplll0 +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 +Section: libdevel +Depends: ${misc:Depends}, libfplll0 (= ${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: libfplll0 (= ${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..82a80c6 --- /dev/null +++ b/copyright @@ -0,0 +1,43 @@ +Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ +Upstream-Name: fplll +Upstream-Contact: Damien Stehlé +Source: http://perso.ens-lyon.fr/damien.stehle/fplll/ + +Files: * +Copyright: 2007, David Cade + 2005-2008, Damien Stehle + 2008-2011, Xavier Pujol +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'. + +Files: src/dpe.h +Copyright: 2004, 2005, 2006, 2008 Patrick Pelissier, Paul Zimmermann, LORIA/INRIA Nancy - Grand-Est. +License: LGPL-2.1+ + The DPE Library 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. + . + 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'. + +Files: debian/* +Copyright: 2008, Tim Abbott + 2012, Julien Puydt +License: LGPL-2.1 + The complete text of the GNU General Public License 2 can be found in + `/usr/share/common-licenses/LGPL-2.1'. 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..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..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/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..518d1ae --- /dev/null +++ b/libfplll-dev.README.Debian @@ -0,0 +1,3 @@ +If you upgrade from the version 2.1.6+20071129, beware that this package +is probably neither source nor binary compatible. Upstream now seems more +committed to numbering its versions manageably. diff --git a/libfplll-dev.doc-base b/libfplll-dev.doc-base new file mode 100644 index 0000000..7643d89 --- /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: HTML +Index: /usr/share/doc/libfplll-dev/README.html +Files: /usr/share/doc/libfplll-dev/README.html diff --git a/libfplll-dev.docs b/libfplll-dev.docs new file mode 100644 index 0000000..daa30a3 --- /dev/null +++ b/libfplll-dev.docs @@ -0,0 +1 @@ +README.html diff --git a/libfplll-dev.install b/libfplll-dev.install new file mode 100644 index 0000000..bec7847 --- /dev/null +++ b/libfplll-dev.install @@ -0,0 +1,3 @@ +/usr/include/* +/usr/lib/*/*.so +/usr/lib/*/*.a diff --git a/libfplll0.README.Debian b/libfplll0.README.Debian new file mode 100644 index 0000000..518d1ae --- /dev/null +++ b/libfplll0.README.Debian @@ -0,0 +1,3 @@ +If you upgrade from the version 2.1.6+20071129, beware that this package +is probably neither source nor binary compatible. Upstream now seems more +committed to numbering its versions manageably. diff --git a/libfplll0.install b/libfplll0.install new file mode 100644 index 0000000..a451edd --- /dev/null +++ b/libfplll0.install @@ -0,0 +1 @@ +/usr/lib/*/*.so.* diff --git a/libfplll0.lintian-overrides b/libfplll0.lintian-overrides new file mode 100644 index 0000000..2166380 --- /dev/null +++ b/libfplll0.lintian-overrides @@ -0,0 +1,2 @@ +# False positive, see bug #673112 +libfplll0 binary: hardening-no-stackprotector diff --git a/libfplll0.shlibs b/libfplll0.shlibs new file mode 100644 index 0000000..8ae9cfe --- /dev/null +++ b/libfplll0.shlibs @@ -0,0 +1 @@ +libfplll 0 libfplll0 (>= 4.0.0) diff --git a/rules b/rules new file mode 100755 index 0000000..b476dc8 --- /dev/null +++ b/rules @@ -0,0 +1,30 @@ +#!/usr/bin/make -f + +DEB_HOST_MULTIARCH ?= $(shell dpkg-architecture -qDEB_HOST_MULTIARCH) +DEB_CONFIGURE_EXTRA_FLAGS += --libdir=\$${prefix}/lib/$(DEB_HOST_MULTIARCH) + +export DEB_LDFLAGS_MAINT_APPEND=-Wl,--as-needed + +%: + dh $@ --with autoreconf + +override_dh_autoreconf: +# mkdir -p m4 + dh_autoreconf --as-needed + +override_dh_auto_configure: + dh_auto_configure -- --enable-shared --enable-static CPPFLAGS="$(CPPFLAGS) -D_LARGEFILE_SOURCE" + +override_dh_clean: + rm -f src/foo + dh_clean + +override_dh_auto_install: + $(MAKE) install DESTDIR=$(CURDIR)/debian/tmp + rm -f debian/tmp/usr/lib/*/*.la + +override_dh_install: + dh_install --fail-missing + +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..ae2765a --- /dev/null +++ b/watch @@ -0,0 +1,2 @@ +version=3 +http://perso.ens-lyon.fr/damien.stehle/fplll/index.html libfplll-(.+)\.tar\.gz -- 2.30.2