author | wenzelm |
Sat, 30 Mar 2019 22:51:38 +0100 | |
changeset 70016 | a8142ac5e4b6 |
parent 69951 | febb3f035e84 |
child 70287 | b0fd8167bb9b |
permissions | -rw-r--r-- |
50812 | 1 |
#additional components to be bundled for release |
69951
febb3f035e84
updated to cygwin-20190322 -- package required by ocaml_setup for zarith;
wenzelm
parents:
69933
diff
changeset
|
2 |
cygwin-20190322 |
69131
78691a87937c
updated xstream.jar to 1.4.10 for Java 9/10/11 (see http://x-stream.github.io);
wenzelm
parents:
69106
diff
changeset
|
3 |
windows_app-20181006 |