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