John Wiegley 57eb7f107d lambdabot: Get it building again against older packages

2014-10-16 21:44:58 -05:00

..

arduino

arduino-core: bump version from 1.0.2 to 1.0.6

2014-10-12 12:42:57 +01:00

compilers

Upgrade idris compiler to 0.9.14.3

2014-10-15 10:57:08 +03:00

coq-modules

coqPackages.ssreflect, more: build ssrcoq binary, add maintainer

2014-10-13 16:11:33 -05:00

eclipse

…

guile-modules

…

interpreters

Merge pull request #4495 from NixOS/pythonFull_improvements

2014-10-16 13:24:18 +02:00

libraries

lambdabot: Get it building again against older packages

2014-10-16 21:44:58 -05:00

lisp-modules

…

lua-modules

…

misc

…

mobile

titaniumenv: Use new xcodeenv simulate function in the example app

2014-10-15 17:28:52 +02:00

ocaml-modules

ocaml-macaque: new package

2014-10-11 00:54:35 +01:00

perl-modules

…

pharo

pharo-vm: Add dependency to cairo

2014-10-09 16:56:54 +02:00

pure-modules/pure-gsl

Add pure-gsl package

2014-10-14 21:21:36 +11:00

python-modules

…

qtcreator

qtcreator: Update from 3.1.0 to 3.2.0

2014-10-05 21:23:00 +02:00

r-modules

…

ruby-modules

…

tools

gnulib: update to version 0.1-228-gb155b06

2014-10-15 16:30:53 +02:00

web

…