Thanks for your work! In that particular timeframe (Sept/Oct 2014), the Debian maintainer just hadn't uploaded a newer version of the package: https://tracker.

Thanks for your work! In that particular timeframe (Sept/Oct 2014), the Debian maintainer just hadn't uploaded a newer version of the package: https://tracker.debian.org/pkg/opam https://tracker.debian.org/pkg/opam It's a pity, because I think Debian's Experimental section would've been ideal for this. I've been using Debian long enough that I'm a bit ashamed not to be able to package things on my own yet...