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
distribution
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
> fixed.
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 issu
I’m getting random SIGSEGVs while building HOL with latest git on an Apple
Silicon MacBook Pro. These don’t always occur, but when they do, they have (so
far) always been in one of two places.
Michael
> On 16 Jan 2022, at 10:51 pm, David Matthews
> wrote:
>
> The long-promised update to the