coq-modules
|
coq-interval: 2.1.0 -> 2.2.1
|
2016-01-06 09:35:05 +01:00 |
interpreters
|
python: 3.4.3 -> 3.4.4
|
2016-01-07 11:19:40 +01:00 |
libraries
|
openslp: init at 2.0.0
|
2016-01-08 14:20:06 -06:00 |
lisp-modules
|
asdf: 3.1.5 -> 3.1.6
|
2016-01-01 12:30:17 +03:00 |
mobile
|
xcodeenv: make it work with xcode 7.2
|
2016-01-07 14:43:17 +00:00 |
python-modules
|
pyqt5: 5.4.2 -> 5.5.1
|
2016-01-07 18:46:50 +01:00 |
r-modules
|
R: fix Darwin build
|
2016-01-06 22:20:40 +01:00 |
tools
|
electron: 0.28.2 -> 0.36.2
|
2016-01-06 19:05:00 +01:00 |