On 7/13/21 11:07 PM, Till Hofmann wrote:

Hi,

I've recently updated gprolog to 1.5.0. I'm not sure if ppl needs to be rebuilt (at a first glance it doesn't).

Please let me know if there is any problem with the update.

Thanks! Till

Hi there. I no longer deal with the PPL Fedora packaging, but if there is anything that need to be done upstream, please let us know. Kind regards, Roberto Bagnara -- Prof. Roberto Bagnara Applied Formal Methods Laboratory Department of Mathematical, Physical and Computer Sciences University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it