
29 Mar
2005
29 Mar
'05
5:59 p.m.
Matthew Mundell wrote:
Should either of ppl_lcdd and ppl_lpsol be packaged? If so then should they go into the libppl package, to match the packaging of ppl_lcdd in the RPMs?
Matthew,
only ppl_lcdd should be packaged. Packaging it into the libppl package seems a sensible thing to do. Cheers,
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