[PPL-devel] PPL CentOS 7

[Roberto Bagnara]

On 5/22/19 9:32 AM, Eugenio Naselli wrote:
> Non esiste piu' un pacchetto rpm di ppl in CentOS 7
> Esisteva fino alla versione 6 nei repo base.

Not sure why.  Luckily, building the PPL from sources
is rather easy.

> Il 22/05/19 09:14, Roberto Bagnara ha scritto:
>> On 21/05/19 10:16, Eugenio Naselli wrote:
>>> Why does PPL for centOS disappeared?
>>
>> Hi Eugenio.
>>
>> What do you mean?
>> Kind regards,
>>
>>    Roberto
>>
> _______________________________________________
> PPL-devel mailing list
> PPL-devel at cs.unipr.it
> http://www.cs.unipr.it/mailman/listinfo/ppl-devel


-- 
      Prof. Roberto Bagnara

Applied Formal Methods Laboratory - University of Parma, Italy
mailto:bagnara at cs.unipr.it
                               BUGSENG srl - http://bugseng.com
                               mailto:roberto.bagnara at bugseng.com