fplll (5.4.5-1.1) unstable; urgency=medium
authorMichael Hudson-Doyle <mwhudson@debian.org>
Thu, 29 Feb 2024 03:15:16 +0000 (03:15 +0000)
committerMichael Hudson-Doyle <mwhudson@debian.org>
Thu, 29 Feb 2024 03:15:16 +0000 (03:15 +0000)
commitdd0b8eb8a8ae79bbe9de4e1403bf2abce0f5605a
tree3c26483ab0f26638c723367f03a7ef79c9615c1f
parentfe11bdf35bbaad58c897db56d29bde2a4fc53a78
parente96412069025e3166e4e0fe8c7ec73f8d68634f6
fplll (5.4.5-1.1) unstable; urgency=medium

  [ Lukas Märdian ]
  * Non-maintainer upload.
  * Rename libraries for 64-bit time_t transition.

[dgit import unpatched fplll 5.4.5-1.1]
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/libfplll8-data.install
debian/libfplll8t64.README.Debian
debian/libfplll8t64.install
debian/libfplll8t64.lintian-overrides
debian/libfplll8t64.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