fplll (5.4.3-2) unstable; urgency=medium
authorJulien Puydt <jpuydt@debian.org>
Thu, 29 Dec 2022 17:25:46 +0000 (17:25 +0000)
committerJulien Puydt <jpuydt@debian.org>
Thu, 29 Dec 2022 17:25:46 +0000 (17:25 +0000)
commit14866813839ca065cd45c326d1d5d1749729c577
treeab9f30019b84fad54768d6c30f26f8a4e5bb96b3
parentc1e9ff2faccfce98e1e15680535366e28e54e8cc
parent30d5db10f83e38a13b34704477f2efcf17a7c489
fplll (5.4.3-2) unstable; urgency=medium

  * Add upstream patch fixing upstream #500.

[dgit import unpatched fplll 5.4.3-2]
26 files changed:
debian/README.source
debian/changelog
debian/control
debian/copyright
debian/fplll-tools.install
debian/fplll-tools.manpages
debian/fplll.1
debian/gbp.conf
debian/latticegen.1
debian/libfplll-dev.README.Debian
debian/libfplll-dev.doc-base
debian/libfplll-dev.docs
debian/libfplll-dev.install
debian/libfplll7-data.install
debian/libfplll7.README.Debian
debian/libfplll7.install
debian/libfplll7.shlibs
debian/patches/libgmp_subst.patch
debian/patches/series
debian/patches/upstream_fix_500.patch
debian/patches/versioned_strategies_path
debian/rules
debian/salsa-ci.yml
debian/source/format
debian/upstream/metadata
debian/watch