summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
Julien Puydt [Wed, 19 Oct 2016 19:29:47 +0000 (20:29 +0100)]
Merge fplll (5.0.3-1) import into refs/heads/workingbranch
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]
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]
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]
Julien Puydt [Sun, 18 May 2014 09:20:59 +0000 (10:20 +0100)]
fplll (4.0.4-2) unstable; urgency=low
* Updated the build deps (Closes: #747999).
[dgit import unpatched fplll 4.0.4-2]
Julien Puydt [Sun, 18 May 2014 09:20:59 +0000 (10:20 +0100)]
Import fplll_4.0.4-2.debian.tar.xz
[dgit import tarball fplll 4.0.4-2 fplll_4.0.4-2.debian.tar.xz]
Julien Puydt [Mon, 17 Jun 2013 19:41:04 +0000 (20:41 +0100)]
Import fplll_4.0.4.orig.tar.gz
[dgit import orig fplll_4.0.4.orig.tar.gz]
projects / fplll.git / log