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@cs.unipr.it