The Coq mailing list

[AUGER C�dric <Cedric.Auger AT lri.fr>]

> Hello,
>
> I have an installation of coq 8.1, coqide, and ocaml 3.0.9.2  in Ubuntu
> that I did
> by using the deb packages. My question is would program extraction
> work with this version, or do I need to install Coq from sources
> (including
> sources).
>
> Many thanks
> Ashish
>
>

Extraction is still experimental, but as far as i remember, coq 8.1 works
with the deb packages.

All that is explained in the manual.

coqide is just an ide, if you encounter problems with it, just run
coqc filename (+options)
I am not sure ocaml is required with the deb packages, but if you extracts
to caml (the default), you'll sure need it (at least to compile your
extracted prog), but 3.0.9.2 is too old (did you meant 3.09.2? in this
case it is ok)
-- 
Cédric AUGER

Univ Paris-Sud, Laboratoire LRI, UMR 8623, F-91405, Orsay