Pascal Wittmann 132570bace Add colm, a language for program analysis and transformation

2015-05-18 16:07:12 +02:00

..

arduino

Fixed several "package has no version" warnings

2015-05-14 17:19:41 +02:00

compilers

Add colm, a language for program analysis and transformation

2015-05-18 16:07:12 +02:00

coq-modules

coqPackages.QuickChick: New expression

2015-05-10 13:45:59 +02:00

eclipse

…

go-modules/generic

go: also remove disabled from the derivation

2015-05-18 12:47:24 +02:00

guile-modules

remove all references to stdenv.cc.cc.is{GNU,Clang}

2015-05-11 14:44:50 -07:00

haskell-modules

hackage-packages.nix: update to 21baf54727 with hackage2nix revision b0eec6a5853fb52a28ae3ded058c3f7d0c510e2a

2015-05-17 13:46:23 +02:00

interpreters

Revert "fix lua.pc library name"

2015-05-17 15:03:53 -07:00

libraries

libjpeg-turbo: make Hydra only build it on Linux

2015-05-18 13:46:09 +02:00

lisp-modules

Update CLSQL source and switch to a mirror

2015-05-14 18:50:53 +03:00

lua-modules

…

misc

…

mobile

androidsdk: Make monitor and other commands to work

2015-05-03 23:03:36 +09:00

ocaml-modules

meta.description fixups

2015-04-30 18:17:42 +02:00

perl-modules

…

pharo

Pharo launcher 0.2.4 -> 0.2.7

2015-05-05 15:15:31 +02:00

pure-modules/pure-gsl

…

python-modules

Revert "pycairo: set user-agent to fix download of patches"

2015-04-28 22:23:21 +02:00

qtcreator

…

r-modules

r-modules: disable broken builds

2015-05-15 13:48:38 +02:00

ruby-modules

…

tools

Merge branch 'master' of https://github.com/NixOS/nixpkgs

2015-05-15 14:33:21 -07:00

web

Choosing a different nodejs for armv5tel.

2015-05-03 18:02:55 +02:00