
23 May
2019
23 May
'19
6:16 a.m.
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@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@cs.unipr.it
BUGSENG srl - http://bugseng.com
mailto:roberto.bagnara@bugseng.com