
14 Jul
2021
14 Jul
'21
5:58 a.m.
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