[Nix-dev] Installing older ocaml

[roconnor at theorem.ca]

On Wed, 14 Oct 2009, Marco Maggesi wrote:

> 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
> tar xzf mm-nix.tgz
> cd mm-nix
>
> << Edit the file all-packages.nix to change the value of pkgs at its 
> beginning >>
>
> nix-env -f all-packages.nix -iA coq
>
> This install coq with coqide.

Thanks, niksnut from #nixos pointed me to this.  I installed it and it 
appears to work fine.  Thank you so much.  You save me a tonne of work. 
Without it I may have been forced to scrap my nixos installation.

One question though, I don't know much about nix, but wouldn't it be 
appropraite to set-up a nix channel to subscribe to to get these 
configurations?  Isn't that what nix channels are for? Are we allowed to 
subscribe to multiple nix channels?

-- 
Russell O'Connor                                      <http://r6.ca/>
``All talk about `theft,''' the general counsel of the American Graphophone
Company wrote, ``is the merest claptrap, for there exists no property in
ideas musical, literary or artistic, except as defined by statute.''