I have no idea how components are managed or updated, but I can see that they aren’t stored in the repository. I hope that somebody else (after first perhaps testing that my emailed binary works on their machine) could do this.
Larry > On 28 Nov 2019, at 15:39, Makarius <[email protected]> wrote: > > When you update the csdp component, please make sure that all platforms work > uniformly. We can then use that regularly for isabelle-dev. _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
