On Fri, Jul 16, 2004 at 07:13:24PM +0200, Sven Luther wrote:
> > Personally I'd rather have COQ 8 and OCaml 3.07 in Sarge since COQ 8 is
> Me not.
Seconded. If I have to decide between COQ 8 and OCaml 3.08 I would
decide for OCaml 3.08, just think at the users base.
As a solution for building COQ 8 we can use an ocaml 3.07 source package
and hack the coq package so that it build depends on that package and
compile both the ocaml distribution and coq in the build phase ...
Really an huge hack, I know, but it will solve the problem.
--
Stefano Zacchiroli -*- Computer Science PhD student @ Uny Bologna, Italy
zack@{cs.unibo.it,debian.org,bononia.it} -%- http://www.bononia.it/zack/
If there's any real truth it's that the entire multidimensional infinity
of the Universe is almost certainly being run by a bunch of maniacs. -!-
Attachment:
signature.asc
Description: Digital signature