projects / fplll.git / log
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
fplll.git
9 years agofplll (5.0.3-1) unstable; urgency=medium
commit | commitdiff | tree
Julien Puydt [Wed, 19 Oct 2016 19:29:47 +0000 (20:29 +0100)]
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]

9 years agoImport fplll_5.0.3.orig.tar.gz
commit | commitdiff | tree
Julien Puydt [Wed, 19 Oct 2016 19:29:47 +0000 (20:29 +0100)]
Import fplll_5.0.3.orig.tar.gz

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

9 years agoImport fplll_5.0.3-1.debian.tar.xz
commit | commitdiff | tree
Julien Puydt [Wed, 19 Oct 2016 19:29:47 +0000 (20:29 +0100)]
Import fplll_5.0.3-1.debian.tar.xz

[dgit import tarball fplll 5.0.3-1 fplll_5.0.3-1.debian.tar.xz]

Unnamed repository; edit this file 'description' to name the repository.