On Wed, Jul 17, 2013 at 4:33 PM, Anil Madhavapeddy wrote: > It is, if people could confirm to me that the existing ones work first on > Raring. Just installed the stable package (1.0.0) on Ubuntu 13.04 64bit. It works as expected, and I have a rather complex situation: two "OPAM roots" installed in my home, both with 2 compilers installed, and some hand made Bash machinery to switch from one the the other. Maybe in the Debian package you could add the bash completion script in /etc/bash_completion.d but this is really marginal. -- *Paolo*