fplll (5.0.3-1) unstable; urgency=medium
authorJulien Puydt <julien.puydt@laposte.net>
Wed, 19 Oct 2016 19:29:47 +0000 (20:29 +0100)
committerJulien Puydt <julien.puydt@laposte.net>
Wed, 19 Oct 2016 19:29:47 +0000 (20:29 +0100)
commitf7e0f416ea49bd5a093d561f916ed04a12c0d25f
tree493c0abb513b9cfaa8e21726d205dae63ab7319c
parent7e1e0ac47aeedea95d6e6be8a258fd0d73d0d9c5
parentf320835be5084924d0e3e55bd8e5cb36d3df4e13
fplll (5.0.3-1) unstable; urgency=medium

  * Add libmpfr-dev and libgmp-dev as depends of -dev (Closes: #841260).
  * New upstream release.

[dgit import unpatched fplll 5.0.3-1]
22 files changed:
debian/changelog
debian/compat
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/libfplll2.README.Debian
debian/libfplll2.install
debian/libfplll2.lintian-overrides
debian/libfplll2.shlibs
debian/rules
debian/source/format
debian/watch