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
