coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] installation of Coq_V8.1pl2_i386 on Mac OS X

From: Pierre Lescanne <pierre.lescanne AT ens-lyon.fr>
To: coq-club AT pauillac.inria.fr
Subject: [Coq-Club] installation of Coq_V8.1pl2_i386 on Mac OS X
Date: Mon, 26 Nov 2007 14:30:59 +0100
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
Organization: ENS de Lyon

I tried to update Coq on my Mac OS (intel) by downloading Coq_V8.1pl2_i386.pkg and installing it. Everything went fine till the end with no error message, but eventually Coq was not installed.

I had just to go back to my Darwin installation which has only the version 8.0pl3.

Pierre Lescanne

[Coq-Club] installation of Coq_V8.1pl2_i386 on Mac OS X, Pierre Lescanne
- Re: [Coq-Club] installation of Coq_V8.1pl2_i386 on Mac OS X, Edsko de Vries
  - Re: [Coq-Club] installation of Coq_V8.1pl2_i386 on Mac OS X, Pierre Lescanne
    - Re: [Coq-Club] installation of Coq_V8.1pl2_i386 on Mac OS X, Vincent Aravantinos
      - Re: [Coq-Club] installation of Coq_V8.1pl2_i386 on Mac OS X, Pierre Lescanne
- Re: [Coq-Club] installation of Coq_V8.1pl2_i386 on Mac OS X, Benjamin Werner
  - Re: [Coq-Club] installation of Coq_V8.1pl2_i386 on Mac OS X, Stefan Monnier
    - Re: [Coq-Club] installation of Coq_V8.1pl2_i386 on Mac OS X, Benjamin Werner
- <Possible follow-ups>
- Re: [Coq-Club] installation of Coq_V8.1pl2_i386 on Mac OS X, Santiago Zanella