[isabelle-dev] Isabelle component csdp-6.x is 32-Bit [macOS]
lp15 at cam.ac.uk
Thu Nov 28 17:08:38 CET 2019
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.
> On 28 Nov 2019, at 15:39, Makarius <makarius at sketis.net> wrote:
> When you update the csdp component, please make sure that all platforms work
> uniformly. We can then use that regularly for isabelle-dev.
More information about the isabelle-dev