Bug#669479: ppl: diff for NMU version 0.11.2-6.1

[Roberto Bagnara <bagnara@cs.unipr.it>]

On 07/19/12 20:28, Nicolas Boulenguez wrote:
> tags 669479 pending
> tags 680896 patch pending
> tags 670024 fixed pending
> tags 670025 fixed pending
> thanks
>
> Dear maintainers,
>
> I've prepared an NMU for ppl (versioned as 0.11.2-6.1), following the
> thread at http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=669479#22.

Just wondering: do you have a strong reason to stick with PPL 0.11.2
and not to upgrade to PPL 1.0?  PPL 0.11.2 is an old release and PPL 1.0
has lots of improvements over it, including important bug fixes.
Just my 2 cents.
Kind regards,

   Roberto Bagnara
   (PPL project leader)

--
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara@cs.unipr.it