coq-modules
|
coq-ext-lib: c2c71a2a -> 0.9.0 & 1.0.0-beta2
|
2015-09-27 10:24:25 +02:00 |
eclipse
|
ecj: require jdk7 instead of jdk
|
2015-07-27 17:37:37 +02:00 |
haskell-modules
|
double-conversion: propagate libcxx
|
2015-10-28 14:20:02 -07:00 |
interpreters
|
erlang: remove nested lists
|
2015-10-28 17:36:27 -07:00 |
libraries
|
qt55: set library paths from NIX_PROFILES
|
2015-10-30 16:10:37 -05:00 |
ocaml-modules
|
ocaml-csv: 1.4.1 -> 1.4.2
|
2015-10-30 06:03:50 +01:00 |
pharo
|
xlibs: replace occurrences by xorg
|
2015-09-15 12:54:34 +02:00 |
python-modules
|
python: don't pass disabled to derivation
|
2015-10-30 11:31:19 +01:00 |
qtcreator
|
qtcreator: add missing QML modules (fixes #9629)
|
2015-09-03 19:24:58 +02:00 |
r-modules
|
r-modules: init IRkernel packages
|
2015-10-30 03:48:23 +02:00 |
tools
|
merlin: 2.2 -> 2.3
|
2015-10-29 21:35:41 +01:00 |
web
|
valum: init at 0.2.0
|
2015-10-29 16:58:14 +01:00 |