fplll (5.3.2-1) unstable; urgency=medium
authorJulien Puydt <jpuydt@debian.org>
Mon, 13 Jan 2020 21:26:34 +0000 (21:26 +0000)
committerJulien Puydt <jpuydt@debian.org>
Mon, 13 Jan 2020 21:26:34 +0000 (21:26 +0000)
commit4384af3e4fa437602a5545ed85ccf0c3660d26e5
tree6dc232e547c8ce21282dd9b4cde235bab58117d8
parent3345cbd0b9032b8c1ada0391400f3fc61c908fb1
parente8f820090cd80e7d23bda1b4dd7fa5af79033ed6
fplll (5.3.2-1) unstable; urgency=medium

  * New upstream release.

[dgit import unpatched fplll 5.3.2-1]
26 files changed:
debian/README.source
debian/changelog
debian/control
debian/copyright
debian/fplll-tools.install
debian/fplll-tools.lintian-overrides
debian/fplll-tools.manpages
debian/fplll.1
debian/gbp.conf
debian/latsieve.1
debian/latticegen.1
debian/libfplll-dev.README.Debian
debian/libfplll-dev.doc-base
debian/libfplll-dev.docs
debian/libfplll-dev.install
debian/libfplll6.README.Debian
debian/libfplll6.install
debian/libfplll6.lintian-overrides
debian/libfplll6.shlibs
debian/patches/fix_pc_file.patch
debian/patches/libgmp_subst.patch
debian/patches/series
debian/patches/versioned_strategies_path
debian/rules
debian/source/format
debian/watch