fplll (5.3.1-2) unstable; urgency=medium
authorJulien Puydt <jpuydt@debian.org>
Sat, 4 Jan 2020 22:10:06 +0000 (22:10 +0000)
committerJulien Puydt <jpuydt@debian.org>
Sat, 4 Jan 2020 22:10:06 +0000 (22:10 +0000)
commit7ec172a375fdbb002f919bee0188be2fe792c569
treecec43e3ef0a7df97734509c3cd00e72689846f1a
parent2a27abb445acbb347caa4526e5445214a401919f
parent65d741a172be87aac671fffe59ef3173250163e1
fplll (5.3.1-2) unstable; urgency=medium

  * Add workaround for missing -latomic
    on some arches (Closes: #947718).

[dgit import unpatched fplll 5.3.1-2]
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