Bug#353493: Coq cannot compile CoRN: da tarball

To: 353493@bugs.debian.org
Subject: Bug#353493: Coq cannot compile CoRN: da tarball
From: Lionel Elie Mamane <lionelm@harif.cs.ru.nl>
Date: Sun, 19 Feb 2006 00:24:55 +0100
Message-id: <[🔎] 20060218232455.GA10397@harif.cs.kun.nl>
Reply-to: lionelm@cs.ru.nl, 353493@bugs.debian.org

Attachment: CoRN_Coq_bug.tar.bz2
Description: Unix tar archive

Reply to:

Prev by Date: Bug#353493: coq: Cannot compile CoRN; infinite memory-eating loop in "intuition" execution in power_k_n.
Next by Date: Processed: reassign 338148 to ocaml
Previous by thread: Bug#353493: marked as done (coq: Cannot compile CoRN; infinite memory-eating loop in "intuition" execution in power_k_n.)
Next by thread: Processed: reassign 338148 to ocaml
Index(es):
- Date
- Thread