[Nix-dev] Installing older ocaml

[Eelco Dolstra]

Hi,

Marco Maggesi wrote:

>> Given that I cannot get coq to build, what is the proper proceedure to
>> install an older version of ocaml?
> 
> Hi Russell!
> 
> I wrote a nix expression for Coq.
> You can grab a tarball from my home page.
> E.g., you can install coq (with coqide) as follows:
> 
> wget http://web.math.unifi.it/~maggesi/mm-nix.tgz

Looks great :-)

Since nobody else has committed this yet: do you want commit access to do it
yourself?  Otherwise I'll commit it.

-- 
Eelco Dolstra | http://www.st.ewi.tudelft.nl/~dolstra/