nix-dev

2010-09-01 - 2010-10-01 (126 messages)

2010-08-01 - 2010-09-01 (286 messages)

2010-07-01 - 2010-08-01 (167 messages)

 Next  Last 

  1. 2010-08-31  [1] [Nix-dev] Re: mips64, loongson2f or what              nix-dev   Ludovic =?iso
  2. 2010-08-31  [1] [Nix-dev] mips64, loongson2f or what                  nix-dev   =?iso-8859-1?
  3. 2010-08-31 [21] [Nix-dev] Re: [Nix-commits] SVN commit: nix - r23020  nix-dev   =?iso-8859-1?
  4. 2010-08-31  [2] [Nix-dev] Re: Re: [Nix-commits] SVN commit: nix - r23 nix-dev   Evgeny Egoroc
  5. 2010-08-30  [2] [Nix-dev] Re: [PATCH] t/opera                         nix-dev   Marc Weber
  6. 2010-08-30  [1] [Nix-dev] [PATCH] t/opera                             nix-dev   Marc Weber
  7. 2010-08-30  [2] [Nix-dev] virtualbox failing build                    nix-dev   =?iso-8859-1?
  8. 2010-08-30  [1] [Nix-dev] Fwd: [FOSDEM-Dist2010] FOSDEM distro minico nix-dev   Nicolas Pierr
  9. 2010-08-28  [6] [Nix-dev] Re: python search path and PyQt4&dbus       nix-dev   Marc Weber
 10. 2010-08-28  [5] [Nix-dev] Re: Is Emacs 22 still needed?               nix-dev   Marc Weber
 11. 2010-08-27  [1] [Nix-dev] icon-theme.cache                            nix-dev   =?iso-8859-1?
 12. 2010-08-27  [1] [Nix-dev] Re: Re: @ and default arguments             nix-dev   Yury G. Kudry
 13. 2010-08-27  [2] [Nix-dev] Re: @ and default arguments                 nix-dev   Eelco Dolstra
 14. 2010-08-27  [5] [Nix-dev] cmucl                                       nix-dev   Eelco Dolstra
 15. 2010-08-27  [3] [Nix-dev] @ and default arguments                     nix-dev   Marc Weber
 16. 2010-08-26  [4] [Nix-dev] Halting on mips - troubles                  nix-dev   =?iso-8859-1?
 17. 2010-08-26  [2] [Nix-dev] python eggs to nix expressions              nix-dev   Marc Weber
 18. 2010-08-26  [1] [Nix-dev] Is Emacs 22 still needed?                   nix-dev   Peter Simons
 19. 2010-08-26  [2] [Nix-dev] Re: prover9 pkg, yet another theorem prover nix-dev   Peter Simons
 20. 2010-08-26  [1] [Nix-dev] prover9 pkg, yet another theorem prover for nix-dev   Tom Ridge
 21. 2010-08-26  [1] [Nix-dev] Re: python eggs to nix expressions          nix-dev   Ludovic =?iso
 22. 2010-08-26  [1] [Nix-dev] Thanks to Peter Simons et al                nix-dev   Tom Ridge
 23. 2010-08-26  [3] [Nix-dev] python search path and PyQt4&dbus           nix-dev   Marc Weber
 24. 2010-08-25  [1] [Nix-dev] Re: hol nixpkg, changes to all-packages.nix nix-dev   Peter Simons
 25. 2010-08-25  [3] [Nix-dev] Re: new nixpkg: hol                         nix-dev   Marco Maggesi
 26. 2010-08-25  [1] [Nix-dev] patch to allow switching profiles           nix-dev   roconnor at t
 27. 2010-08-25  [1] [Nix-dev] Re: Re: new nixpkg: hol                     nix-dev   Yury G. Kudry
 28. 2010-08-25  [1] [Nix-dev] hol/default.nix, updated to avoid listing g nix-dev   Tom Ridge
 29. 2010-08-25  [1] [Nix-dev] hol nixpkg, changes to all-packages.nix     nix-dev   Tom Ridge
 30. 2010-08-25  [1] [Nix-dev] hol/default.nix, updated to use mirror://   nix-dev   Tom Ridge

 Next  Last