Re: [PPL-devel] libppl7: tries to overwrite file owned by libppl6

23 Sep
2008
23 Sep
'08
8:45 p.m.
[Concerning http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=499832]
I am not sure I understand what the problem is. However, please let us know if we, upstream, can do something to help you.
From the error message, I gather that there is a conflict on ppl_lpsol.1, which is the man page of a demo program of the PPL. This program should probably be in a separate package. For example, it is in ppl-utils in Fedora. In other words, ppl_lpsol (and of course its man page) are not needed to use the PPL. Anyway, please feel free to come discuss this and other issues on ppl-devel@cs.unipr.it. We are only a few weeks from the release of PPL 0.10, but we will do all what we can to simplify the life of packagers. 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
6237
Age (days ago)
6237
Last active (days ago)
0 comments
1 participants
participants (1)
-
Roberto Bagnara