coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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

From: Théo Zimmermann <theo.zimmi AT gmail.com>
To: Coq Club <coq-club AT inria.fr>
Subject: Re: [Coq-Club] Install Coq from OPAM page is gone
Date: Thu, 21 Feb 2019 00:23:11 +0100
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=theo.zimmi AT gmail.com; spf=Pass smtp.mailfrom=theo.zimmi AT gmail.com; spf=None smtp.helo=postmaster AT mail-vs1-f41.google.com
Ironport-phdr: 9a23:sSHO6RBLQ48ZSUfruIYKUyQJP3N1i/DPJgcQr6AfoPdwSPvzr8bcNUDSrc9gkEXOFd2Cra4c26yO6+jJYi8p2d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6JvjvGo7Vks+7y/2+94fcbglUhzexe69+IAmrpgjNq8cahpdvJLwswRXTuHtIfOpWxWJsJV2Nmhv3+9m98p1+/SlOovwt78FPX7n0cKQ+VrxYES8pM3sp683xtBnMVhWA630BWWgLiBVIAgzF7BbnXpfttybxq+Rw1DWGMcDwULs5Qiqp4bt1RxD0iScHLz85/3/Risxsl6JQvRatqwViz4LIfI2ZMfxzdb7fc9wHX2pMRsleVyJDDY28YYUBDPcPM/hEoITmvVQCsQGzCBOwCO/zyDJFgGL9060g0+QmFAHLxBIuH9IUt3TTtNr6N6YSUeWwzKbW1zXDaulZ2TH76IPVdR0hvfGMUqx3ccbLyEgvFgbFjlCRqYH+MDOV0/4Cs2mf7+Z6Se2vjGsnphh3rzOyyMksjYzJiZgUylDC7Sh5wYA1Jce5SEFhe9KkHoFQuieHPIV1WsMvW39ktDo+x7EcupO2fDIGxIo6yxPdcfCKfJWE7xT+X+iLOzh4nmhqeLenihay70egzur8W9Gx0FlQrypFlsDAtm4W1xDO88SHRPRw8lq71TaA0ADT7e5EIUQqmqbBN5EhxbswmoISsUTFACD2hF37gLGKekgg4OSl6OTqbq/4qpOBNYJ4kA7zPrk2lsy6G+s4MwwOX2aB+eS70b3u5VH5QLVUgf0xiKXYsZHaJcEepq64GAJV3YMj5Ay+DzeiytgXgX4HLFdddBKdk4fpI03OIOz/Dfqnn1usly5ry+naMb3lH5XCNWPOkKzhfLZ4805T0hA/zdFZ55JOC7EOOuj/WkHrtI+QMhhsGAuti83jFd81gogZQCeEBrKTGKLUq16BoOw1dbqifogQ7Qr9qv8S1f/riHIjnFYbe+H9wZsabzaqH/FjIm2WZHPthpEKFmJc7Vl2d/DjlFDXCW0bXH21Ra9po2hjUNv3X7eGfZikhfm65An+G5RXYm5cDVXVSCXncoyFX7EHbyfAe5Y9wAxBbqCoTsoa7T/rrBXzkuM1Ie/d+ylevpXmhoAsur/j0Coq/DkxNPyzlmGAS2YuwzENTj4ymb5k+Alzlg7F3q9/jPhVU9dU4qERXw==

Hi Jason,

Indeed, this page has been moved (to https://coq.inria.fr/opam-using.html). The bug tracker of either the main Coq repository / the Coq opam archive / the Coq website would all be places that are OK to report this. It turns out that we were already aware of this problem (from day one actually) and a fix (adding a redirection) has been ready for a while but forgotten before being merged. I just did merge it so hopefully the redirection should be set up in a few minutes. If it isn't, feel free to reply here or open a bug report.

Théo

Le mer. 20 févr. 2019 à 23:23, Jason -Zhong Sheng- Hu <fdhzs2010 AT hotmail.com> a écrit :

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