[PPL-devel] Intend to take this one

[Roberto Bagnara]

Michael Tautschnig wrote:
> I've packaged and uploaded the 0.9 version with the attached modifications. You
> might want to incorporate some of which in your upstream sources, which mainly
> accounts for the following changes:

Hi Michael,

you probably forgot the attachment.  We will certainly include your changes.

> - I've introduced a libppl-doc package to include all (architecture-independant)
>   documentation
> - Library packages have been named according to the SONAMEs (libppl -> libppl6,
>   libppl-c -> libppl-c0, libppl-pwl -> libpwl3)
> 
> The package is now queued in NEW (see http://ftp-master.debian.org/new.html),
> and it may take days or weeks to finally reach the Debian archives.

Thanks!

> PS.: I've added a watch file, so I should get notified in case of new (major)
> releases, but feel free to ping me if you'd like to see some updated version
> packaged.

Will do.
All the best,

    Roberto

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it