coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] making OPAM packages for different versions of Coq

From: Beta Ziliani <beta AT mpi-sws.org>
To: Coq Club <coq-club AT inria.fr>
Subject: [Coq-Club] making OPAM packages for different versions of Coq
Date: Thu, 12 Jan 2017 17:20:57 -0300
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=beta AT mpi-sws.org; spf=Pass smtp.mailfrom=beta AT mpi-sws.org; spf=None smtp.helo=postmaster AT hera.mpi-klsb.mpg.de
Ironport-phdr: 9a23:/ZDIyBKC2aNeQPlU69mcpTZWNBhigK39O0sv0rFitYgUKv3xwZ3uMQTl6Ol3ixeRBMOAuq4C0LKd6vu+ESxYuNDa7yBEKMQNHzY+yuwo3CUYSPafDkP6KPO4JwcbJ+9lEGFfwnegLEJOE9z/bVCB6le77DoVBwmtfVEtfre9Msfogs+2z+G//YHIK0UN3WLlIOA6EBLjhgLI/uISnIEqfq02017CpmZCU+VQ32JhY1yJyUXS/MC1qbRu7y0YifMl9sdGUO2udakkRJRdFDVjKH8uosrxuk+QHkO0+nIAXzBOwVJzCA/f4US/B8+pvw==

Hi list,

I want to create packages for different versions of Coq. How do I do that? For what I understand from

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

packages are listed according to version number, like

coq-unicoq-1.0.0

Now I want to have two more versions of the new 1.1.0 release, one for Coq 8.5 and one for 8.6 (since they have different API, the code is slightly different). Morally, they are both v1.1.0 of UniCoq. How do I do this?

Thanks,

Beta

[Coq-Club] making OPAM packages for different versions of Coq, Beta Ziliani, 01/12/2017
- Re: [Coq-Club] making OPAM packages for different versions of Coq, Enrico Tassi, 01/12/2017
  - Re: [Coq-Club] making OPAM packages for different versions of Coq, Beta Ziliani, 01/12/2017