nixpkgs/pkgs
Mateusz Kowalczyk 9bb5c2c488 Merge pull request #8077 from Ericson2314/agda
Interactive `env` for developing Agda packages, and misc cleanup
2015-06-08 14:57:38 +01:00
..
applications Merge pull request #8094 from rzetterberg/antimony 2015-06-08 15:04:01 +02:00
build-support Merge pull request #8077 from Ericson2314/agda 2015-06-08 14:57:38 +01:00
data Merge pull request #8180 from froozen/master 2015-06-08 14:27:57 +02:00
desktops cacert: store ca-bundle.crt in $out/etc/ssl/certs instead of $out 2015-06-05 13:00:52 -07:00
development zeromq: update from 4.0.5 to 4.0.6, fixes CVE-2014-9721 2015-06-08 13:31:27 +02:00
games openttd: update from 1.4.4 to 1.5.1 2015-06-07 15:43:53 +02:00
misc fix: vim-xkbswitch proper lib 2015-06-07 16:00:13 +03:00
os-specific linux-testing: Update to new version 4.1-rc7. 2015-06-08 15:12:47 +02:00
servers Add ripple rest module 2015-06-08 13:48:23 +02:00
shells zsh: update from 5.0.7 to 5.0.8 2015-06-08 12:55:38 +02:00
stdenv Revert "curl: Modernize build" 2015-06-04 14:54:52 +02:00
test
tools Merge pull request #8046 from gebner/ibus-version-bump 2015-06-08 14:34:20 +02:00
top-level Merge pull request #8094 from rzetterberg/antimony 2015-06-08 15:04:01 +02:00