Hi, On 19/10/2016 18:49, Jerome BENOIT wrote: > Finally fplll 5.0.3 has been released: https://github.com/fplll/fplll/releases/tag/5.0.3 > > Julien, can package you it ? Done. But don't upload it to unstable in the middle of a transition! Snark on #debian-science