coq-modules
|
coq-QuickChick: 21f50a02 -> 20150605
|
2015-08-18 21:28:33 +02:00 |
interpreters
|
python: add .env for convenient nix-shell's
|
2015-08-17 21:22:50 +03:00 |
libraries
|
pcl: 1.6.0 -> 1.7.2 (unbreaks build)
|
2015-08-20 07:45:37 +02:00 |
lisp-modules
|
ASDF: 3.1.4 -> 3.1.5
|
2015-08-08 21:01:31 +03:00 |
pharo
|
Update Pharo VM and Launcher
|
2015-08-08 08:22:07 +02:00 |
pure-modules
|
pure-octave: mark as broken
|
2015-08-06 12:52:34 +02:00 |
python-modules
|
pyatspi: init at 2.16.0
|
2015-08-13 23:52:06 +02:00 |
r-modules
|
R: fix Hydra build & evaluation errors
|
2015-08-06 20:13:50 +02:00 |