nixpkgs

T

Peter Simons a9258080b1 R: don't install the "recommended packages"

These packages come with R, but if we install them as part of this build, then
we cannot update them without re-building R as well. Instead, we add those
packages to the R environment through the r-wrapper. This means that
recommended packages can be updated in cran-packgaes.nix, and those updates
have an effect on the installation without re-building R itself.

2014-05-04 21:12:34 +02:00

doc

doc: quick-start.xml -- fix a typo in the link.

2014-04-14 11:42:01 +05:30

lib

Add licenses for CompCert/Z3

2014-05-01 19:08:59 -05:00

maintainers/scripts

Remove mysterious line

2014-05-01 10:43:07 +02:00

nixos

On my system OpenGL with bumblebee seems to require libudev in LD_LIBRARY_PATH. Fix that, fix bumblebee module loading and make the socket group configurable