fplll.git
5 years agoImprove fplll.pc
Debian Science Maintainers [Sat, 4 Jan 2020 22:10:06 +0000 (22:10 +0000)]
Improve fplll.pc

Forwarded: not yet

Gbp-Pq: Name fix_pc_file.patch

5 years agoAdd a missing substitution
Debian Science Maintainers [Sat, 4 Jan 2020 22:10:06 +0000 (22:10 +0000)]
Add a missing substitution

Forwarded: https://github.com/fplll/fplll/issues/356

Gbp-Pq: Name libgmp_subst.patch

5 years agoInstall the strategies in a soname-versioned directory
Julien Puydt [Sat, 4 Jan 2020 22:10:06 +0000 (22:10 +0000)]
Install the strategies in a soname-versioned directory

Forwarded: yes

This makes different libfplll<soname> packages coinstallable.

Gbp-Pq: Name versioned_strategies_path

5 years agofplll (5.3.1-2) unstable; urgency=medium
Julien Puydt [Sat, 4 Jan 2020 22:10:06 +0000 (22:10 +0000)]
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]

5 years agoImport fplll_5.3.1-2.debian.tar.xz
Julien Puydt [Sat, 4 Jan 2020 22:10:06 +0000 (22:10 +0000)]
Import fplll_5.3.1-2.debian.tar.xz

[dgit import tarball fplll 5.3.1-2 fplll_5.3.1-2.debian.tar.xz]

5 years agoImport fplll_5.3.1.orig.tar.gz
Julien Puydt [Mon, 23 Dec 2019 11:00:48 +0000 (11:00 +0000)]
Import fplll_5.3.1.orig.tar.gz

[dgit import orig fplll_5.3.1.orig.tar.gz]