New comment by Eloitor on void-packages repository

https://github.com/void-linux/void-packages/pull/37315#issuecomment-1140033766

Comment:
Sometimes I get this other error when running the same command as above:
```
Cloning from git@github.com:leanprover-community/tutorials.git
Error cloning via SSH, trying HTTPS...
Cloning from https://github.com/leanprover-community/tutorials.git
[Errno 2] No such file or directory: 'leanpkg'
```