include ssh + rsync as required for Isabelle tools, e.g. "isabelle sync";
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE1f95e9424341: more robust: snap version of docker cannot access /tmp;
- Branches
- Unknown
- Tags