Re: [Nix-dev] [RFC] Merging of multiple-outputs-sandbox into trunk

Hi Eelco, On 11/20/11 10:04 AM, Shea Levy wrote: Hi Eelco, On 11/6/11 2:26 AM, Shea Levy wrote: On 11/6/11 2:18 AM, Shea Levy wrote: Author: shlevy Date: Sun Nov 6 07:18:19 2011 New Revision: 30258 URL: https://nixos.org/websvn/nix/?rev=30258sc=1 Hi all (especially Eelco), With this

[Nix-commits] SVN commit: nix - r30574 - nixpkgs/trunk/pkgs/applications/science/logic/isabelle

Author: maggesi Date: Sat Nov 26 18:45:15 2011 New Revision: 30574 URL: https://nixos.org/websvn/nix/?rev=30574sc=1 Log: Update url for Isabelle2011 Modified: nixpkgs/trunk/pkgs/applications/science/logic/isabelle/default.nix Modified: