#1092 (Dec 24, 2019, 12:50:07 AM)

1. tuned; (detail / hgweb)
2. NEWS; (detail / hgweb)
3. updated platform situation: 32bit variants are marginal or absent; (detail / hgweb)
4. repackage as csdp-6.1-1, with proper platform names; (detail / hgweb)
5. proper File.platform_path for Windows; (detail / hgweb)
6. updated csdp-6.1: Linux and Windows executables are as before, but macOS has been rebuilt for x86_64 (to accommodate Catalina);
   NOTE: current version 6.2.0 caused odd problems with parallel invocations (e.g. on Ubuntu 18.04); (detail / hgweb)
7. updated linux_app-20191223: x86_64-linux;
   clarified location of lib/scripts/Isabelle.run; (detail / hgweb)

Started by an SCM change

This run spent:

• 5.3 sec waiting;
• 1 hr 20 min build duration;
• 1 hr 20 min total from scheduled to completion.