Hi, and thank you for a vital piece of software for a lot of our users!
Our problem right now is that we are seeing consistent and duplicate semaphore names colliding between multiple users on the same node. This is resolved by installing the current master from GitHub, which uses the new (lib)UUID-based code.
Seeing as the current Description file shows the version as 4.5.42 and we find 4.5.36 on CRAN, is there a time frame for a new release?