Bug#214536: coq: Could you upgrade coq to version 7.4 ?

To: 214536@bugs.debian.org
Subject: Bug#214536: coq: Could you upgrade coq to version 7.4 ?
From: Ralf Treinen <treinen@club-internet.fr>
Date: Sat, 25 Oct 2003 21:58:55 +0200
Message-id: <[🔎] 20031025195855.GE14940@club-internet.fr>
Reply-to: Ralf Treinen <treinen@club-internet.fr>, 214536@bugs.debian.org

Hi,

coq 7.4 is still labeled by upstream as unstable, 7.3.1 is the last
stable release. Hence I don't think that it is a good idea to get
7.4 in sarge.

-Ralf.
--

Reply to:

Prev by Date: Re: [tews@tcs.inf.tu-dresden.de: [Caml-list] Enhanced Ocaml Documentation Version 3.07]
Next by Date: Processed: coq
Previous by thread: Re: [tews@tcs.inf.tu-dresden.de: [Caml-list] Enhanced Ocaml Documentation Version 3.07]
Next by thread: Processed: coq
Index(es):
- Date
- Thread