[PPL-devel] gprolog 1.5.0

[Roberto Bagnara]

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 at cs.unipr.it