fplll (5.4.4-3) unstable; urgency=medium
authorJulien Puydt <jpuydt@debian.org>
Mon, 16 Jan 2023 08:31:36 +0000 (08:31 +0000)
committerJulien Puydt <jpuydt@debian.org>
Mon, 16 Jan 2023 08:31:36 +0000 (08:31 +0000)
commit041932b86484cf2e4188d4494cd3a0f7d8f4f7cd
tree69963c09c9cd7b9d60a7b2514fa67d5f8c5d09cb
parent09d6f9730c7e9ddaef008e01ef31d93a9c51263b
parent614fc35e49d64d01afb4e6af114e5eac57b6db45
fplll (5.4.4-3) unstable; urgency=medium

  * Add breaks+replace for libfplll7-data 5.4.3-2 (Closes: #1028292).

[dgit import unpatched fplll 5.4.4-3]
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