fplll.git
5 years agoImprove fplll.pc
Debian Science Maintainers [Mon, 13 Jan 2020 21:26:34 +0000 (21:26 +0000)]
Improve fplll.pc

Forwarded: not yet

Gbp-Pq: Name fix_pc_file.patch

5 years agoAdd a missing substitution
Debian Science Maintainers [Mon, 13 Jan 2020 21:26:34 +0000 (21:26 +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 [Mon, 13 Jan 2020 21:26:34 +0000 (21:26 +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.2-1) unstable; urgency=medium
Julien Puydt [Mon, 13 Jan 2020 21:26:34 +0000 (21:26 +0000)]
fplll (5.3.2-1) unstable; urgency=medium

  * New upstream release.

[dgit import unpatched fplll 5.3.2-1]

5 years agoImport fplll_5.3.2.orig.tar.gz
Julien Puydt [Mon, 13 Jan 2020 21:26:34 +0000 (21:26 +0000)]
Import fplll_5.3.2.orig.tar.gz

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

5 years agoImport fplll_5.3.2-1.debian.tar.xz
Julien Puydt [Mon, 13 Jan 2020 21:26:34 +0000 (21:26 +0000)]
Import fplll_5.3.2-1.debian.tar.xz

[dgit import tarball fplll 5.3.2-1 fplll_5.3.2-1.debian.tar.xz]