Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Coq opam instructions

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Coq opam instructions


Chronological Thread 
  • 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.

Are these instructions official?
http://coq.io/opam/get_started.html

Best,
Beta



Archive powered by MHonArc 2.6.18.

Top of Page