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/ _______________________________________________ nix-dev mailing list [email protected] https://mail.cs.uu.nl/mailman/listinfo/nix-dev
