A repository of patches to make OPAM packages relocatable - View it on GitHub