[Nix-dev] Re: patch for coq

Peter Simons simons at cryp.to
Tue May 18 15:41:07 CEST 2010

Previous message: [Nix-dev] patch for coq
Next message: [Nix-dev] Fwd: Hydra job nixpkgs:trunk:gnome28.pango build 410917: Dependency failed
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hi Russell,

 > -# - coqide libraries are not installed;

I have committed your patch. Thanks a lot!

Take care,
Peter

Previous message: [Nix-dev] patch for coq
Next message: [Nix-dev] Fwd: Hydra job nixpkgs:trunk:gnome28.pango build 410917: Dependency failed
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the nix-dev mailing list