coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Install Coq from OPAM page is gone

From: Jason -Zhong Sheng- Hu <fdhzs2010 AT hotmail.com>
To: "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: [Coq-Club] Install Coq from OPAM page is gone
Date: Wed, 20 Feb 2019 22:22:16 +0000
Accept-language: en-CA, en-US
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=fdhzs2010 AT hotmail.com; spf=Pass smtp.mailfrom=fdhzs2010 AT hotmail.com; spf=Pass smtp.helo=postmaster AT NAM02-SN1-obe.outbound.protection.outlook.com
Ironport-phdr: 9a23:EUDHYBXDIUHS595L+uuVyRrGR/nV8LGtZVwlr6E/grcLSJyIuqrYbBKBt8tkgFKBZ4jH8fUM07OQ7/iwHzRYqb+681k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRoLerpBIHSk9631+ev8JHPfglEnjWwba9xIRmssQndqtQdjJd/JKo21hbHuGZDdf5MxWNvK1KTnhL86dm18ZV+7SleuO8v+tBZX6nicKs2UbJXDDI9M2Ao/8LrrgXMTRGO5nQHTGoblAdDDhXf4xH7WpfxtTb6tvZ41SKHM8D6Uaw4VDK/5KptVRTmijoINyQh/W/XlMJ+kb5brhyiqRNjzIHZe5uaOOZicq7HYd8WWXdNU8BMXCJBGIO8aI4PAvIFM+lCtIn9oF0OpganCQavBOPvzTlIhnDr1qMn0+QuDwfG3AM5E9kTsnrUscj+OaAcUe+ozKnJzC7DY+1K1Tvg9ITFaRAhofaQXbJ1a8XRyE0vGxnZgVWXrIzoJjWY3fkDvWic6upvT+Ovi2g/pgFwpDiv3MYshZPTioIb0FDJ8zhyzoUtJdCgR0N3fcSoHZ9Ouy2AN4Z6WMcvTmJwtCY01LILuoK3cS0PxZs82xHQd/+Kfo2T7R7/VeucIzJ1iXx+d72lhxu/9Eagx+z/W8S21ltBszBLncPWtn8X0hze8siHReV5/kemwTuBzxze5OZYLUwqjKbVNoYvzqMpmpoUqkvMADX6mELrjK+KbUok/fWo6+L6bbn8vp+cLYh0ih3gPasyhsy/AOM4Mg4UU2ic5OS8yLnj/Ur+QLVJlPE5jq7ZsJXCKcQaoK62HRNV354s5hqjFTur1MoUkWMHIV5ffB+KjJDlO1TUL/D5Cfe/jU6skDBux/3eML3uH5XNL3nYkLv/Ybpx9lJQxREzzdBY+5JUD6sOIPP3WkPrqNPYCRo5PxSuw+n7ENV9yp8eWWWXD6CFN6PSqEaE6f4rI+mRf4AYoy39Kvgg5/72l3A1g14dfa+z3ZsWcn+0BPpmI1/KKUbr150KFn5PtQ4jRsTrjkeDWHhdfTz6C6k7/3QwDJ+sJYbFXIGkxrKbinSVBJpTM0JPEVeKWTLad4KCVL83aC+ULYopsiFMAbatS506j0n37Cf6zKZiJ+vQvCYfsMSwh5BO++TPmERqpnRPBMOH3jTVFjAmriYzXzYzmZtHjwl4w1aH37J/hqUDR9xU+/ZAUwN8PpnZnbUjV4LCHznZd9LMc26IB828CGhqHNI239oHYkI7ENKn3EiagniaRoQNnrnOP6Qat6LR23+teJRb4lOejuwaqQBjRcFCc2q7mqR46g7fQZbTlFmUnLqrcqJa2zPR8GCEziyFu0QKCQM=

Hi,

the usual page showing instructions to install coq from opam is gone: https://coq.inria.fr/opam/www/using.html

Installing Coq via OPAM | The Coq Proof Assistant

What is OPAM. OPAM is the package manager for the OCaml programming language, the language in which Coq is implemented. Instructions on how to install OPAM itself are available on the OPAM website. By following the instructions on this web page one installs the last stable version of Coq and all additional packages in the directory ~/opam-coq.8.8.2. ...

coq.inria.fr

Is there any place I can report this?

Thanks,

Jason

[Coq-Club] Install Coq from OPAM page is gone, Jason -Zhong Sheng- Hu, 02/20/2019
- Re: [Coq-Club] Install Coq from OPAM page is gone, Théo Zimmermann, 02/21/2019
  - Re: [Coq-Club] Install Coq from OPAM page is gone, Jason -Zhong Sheng- Hu, 02/21/2019