compilers
|
binaryen: 89 -> 91, emscripten: 1.38.28 -> 1.39.1
|
2020-03-14 02:37:37 +01:00 |
coq-modules
|
coqPackages.hierarchy-builder: init at 0.9.0
|
2020-03-11 17:15:52 +01:00 |
interpreters
|
metamath: 0.180 -> 0.181
|
2020-03-14 03:24:44 +00:00 |
libraries
|
lightstep-tracer-cpp: 0.11.0 -> 0.12.0
|
2020-03-14 14:24:44 +01:00 |
misc
|
newlib: 3.1.0 -> 3.3.0
|
2020-03-06 23:03:33 +00:00 |
python-modules
|
tensorflow: 1.15.1 -> 1.15.2
|
2020-03-14 05:35:08 +00:00 |
tools
|
minizincide: 2.3.2 -> 2.4.2
|
2020-03-14 14:25:50 +01:00 |
web
|
nodejs-13_x: 13.10.1 -> 13.11.0
|
2020-03-12 00:00:00 -05:00 |