fplll (5.4.5-1) unstable; urgency=medium
authorJulien Puydt <jpuydt@debian.org>
Sun, 26 Nov 2023 12:01:50 +0000 (13:01 +0100)
committerJulien Puydt <jpuydt@debian.org>
Sun, 26 Nov 2023 12:01:50 +0000 (13:01 +0100)
commit92c1480b94f01dcbc5e9ad9d091cc06949fbd659
treed08395e02f550712e4c9ccd093ea8533abedcef1
parentfe11bdf35bbaad58c897db56d29bde2a4fc53a78
parent48a1394ad65939c88c61d85f385cc73357062d8b
fplll (5.4.5-1) unstable; urgency=medium

  * New upstream release.

[dgit import unpatched fplll 5.4.5-1]
25 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/libfplll8-data.install
debian/libfplll8.README.Debian
debian/libfplll8.install
debian/libfplll8.shlibs
debian/patches/libgmp_subst.patch
debian/patches/series
debian/patches/versioned_strategies_path
debian/rules
debian/salsa-ci.yml
debian/source/format
debian/upstream/metadata
debian/watch