After removing, this works for me:
?- pack_install('https://github.com/JanWielemaker/rocksdb.git').
Note the atom quotes rather that code-list quotes and adding .git
. Pushed a fix that probes whether a URL is a GIT URL by trying to use git to probe the URL.