I see, that explains it. Thank you for fixing it!
On Wed, Apr 15, 2020 at 12:58 PM Matthew Flatt wrote:
> The machine that formerly ran pkg-build died, so pkg-builds stopped for
> a week or two. I moved eventually moved it to a new machine. Since I
> had to start over with a v7.6 installer and
The machine that formerly ran pkg-build died, so pkg-builds stopped for
a week or two. I moved eventually moved it to a new machine. Since I
had to start over with a v7.6 installer and the current catalog, all
packages were re-built and re-tested.
At Wed, 15 Apr 2020 12:14:31 -0700, Siddhartha Kas
2 matches
Mail list logo