On 17/01/2022 22:09, Jessica Clarke wrote:
On 17 Jan 2022, at 21:54, David Matthews wrote:
Does anyone know anything about the polyml package in Debian and Ubuntu? It
seems that the currently packaged version is still 5.7.1. I've seen a couple
of bug reports that have turned out to be
On 17 Jan 2022, at 21:54, David Matthews wrote:
>
> Does anyone know anything about the polyml package in Debian and Ubuntu? It
> seems that the currently packaged version is still 5.7.1. I've seen a couple
> of bug reports that have turned out to be issues that have long since been
>
Does anyone know anything about the polyml package in Debian and Ubuntu?
It seems that the currently packaged version is still 5.7.1. I've
seen a couple of bug reports that have turned out to be issues that have
long since been fixed. I'm quite happy to have Poly/ML packaged for
