coq-club AT inria.fr

Subject: The Coq mailing list

List archive

From: Beta Ziliani <beta AT mpi-sws.org>
To: Coq Club <coq-club AT inria.fr>
Subject: [Coq-Club] Coq opam instructions
Date: Sun, 24 Apr 2016 17:16:01 -0300
Authentication-results: mail3-smtp-sop.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:V5t6mx1aawWtiNewsmDT+DRfVm0co7zxezQtwd8ZsegQL/ad9pjvdHbS+e9qxAeQG96Lu7Qb16GG6OjJYi8p39WoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6kO74TNaIBjjLw09fr2zQd6CyZvrnLDps7ToICx2xxOFKYtoKxu3qQiD/uI3uqBFbpgL9x3Sv3FTcP5Xz247bXianhL7+9vitMU7q3cYk7sb+sVBSaT3ebgjBfwdVWx+cjN92Mq+nh7aBSCL+3FUBm4Ri19DBxXPxBD8RJb49CXg4LlTwi6faOf7Ubl8azWm7q5tSVe8giobPhY86GCSkdNryqVBr0Ty9FRE34fIbdTNZ7JFdaTHcIZfHDIZUw==

Wouldn't it be nice to have a description how to install Coq with Opam? It isn't listed in the download page.

Best,

Beta

[Coq-Club] Coq opam instructions, Beta Ziliani, 04/24/2016
- Re: [Coq-Club] Coq opam instructions, Tadeusz Litak, 04/25/2016
  - Re: [Coq-Club] Coq opam instructions, Théo Zimmermann, 04/25/2016
    - Re: [Coq-Club] Coq opam instructions, Jeehoon Kang, 04/25/2016
      - Re: [Coq-Club] Coq opam instructions, Vadim Zaliva, 04/26/2016