The Coq mailing list

[Enrico Tassi <enrico.tassi AT inria.fr>]

On Thu, Feb 05, 2015 at 05:25:29PM +0100, Strub, Pierre-Yves wrote:
> I'm jumping on that: is there some doc. on packaging Coq devs. in opam:coq ?

This is good:
  http://coq-blog.clarus.me/make-a-coq-package.html

The only thing I find a bit risky is using dependencies {>= "8.4pl4"},
since making "future proof" scripts (and ml plugins) is an art.
I'd advise expressing dependencies like as a conjuction
of >= 8.X and < 8.X+1 to indicate any pl version of Coq 8.X.

Best,
-- 
Enrico Tassi