nixpkgs/pkgs/development
2014-10-20 03:16:59 +04: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 ecj: Build on Darwin 2014-07-15 11:51:27 +02:00
guile-modules Turn some license strings into lib.licenses values 2014-07-28 11:31:14 +02:00
interpreters Revert "xulrunner: update from 31.0 to 32.0" 2014-10-12 13:38:42 +02:00
libraries openssl: 1.0.1i -> 1.0.1j (CVE-2014-3513, CVE-2014-3567, CVE-2014-3568) 2014-10-15 16:12:23 +02:00
lisp-modules stumpwm: removed from lisp-packages. 2014-10-05 16:42:32 +02:00
lua-modules lua: Fixed luasql.patch 2014-10-01 06:00:06 +01:00
misc intelgen4asm: Remove obsolete package 2014-08-07 01:32:43 +02:00
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 Partially revert 7a45996 some more. 2014-07-28 20:52:47 +02:00
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 use rpmextract in some packages 2014-10-20 03:16:59 +04:00
qtcreator qtcreator: Update from 3.1.0 to 3.2.0 2014-10-05 21:23:00 +02:00
r-modules Merge pull request #4368 from michelk/r-XML 2014-10-04 19:56:18 +02:00
ruby-modules
tools gnulib: update to version 0.1-228-gb155b06 2014-10-15 16:30:53 +02:00
web grails: new package 2014-09-18 22:57:03 +02:00