Bug#353493: Coq cannot compile CoRN: solution

To: 353493@bugs.debian.org
Cc: control@bugs.debian.org
Subject: Bug#353493: Coq cannot compile CoRN: solution
From: Lionel Elie Mamane <lionel@mamane.lu>
Date: Sun, 19 Feb 2006 08:52:36 +0100
Message-id: <[🔎] 20060219075236.GA2102@capsaicin.mamane.lu>
Reply-to: Lionel Elie Mamane <lionel@mamane.lu>, 353493@bugs.debian.org

tags 353493 +patch
thanks

I could reproduce the problem with a self-compiled Coq _without_ the
OCaml 3.09 adaptation patch. Please apply
ftp://ftp.inria.fr/INRIA/coq/V8.0pl3/patch-coq-8.0pl3-ocaml-3.09 to
the Debian Coq package.

-- 
Lionel

Reply to:

Follow-Ups:
- Processed: Coq cannot compile CoRN: solution
  - From: owner@bugs.debian.org (Debian Bug Tracking System)

Prev by Date: Processed: reassign 338148 to ocaml
Next by Date: Processed: Coq cannot compile CoRN: solution
Previous by thread: Processed: reassign 338148 to ocaml
Next by thread: Processed: Coq cannot compile CoRN: solution
Index(es):
- Date
- Thread