Admin/components/main
changeset 66691 a8703e8ee1d3
parent 66686 4f73201b8043
child 66734 ea5bd1347d26
--- a/Admin/components/main	Mon Sep 25 15:49:27 2017 +0100
+++ b/Admin/components/main	Mon Sep 25 20:43:21 2017 +0200
@@ -1,5 +1,5 @@
 #main components for everyday use, without big impact on overall build time
-bash_process-1.2.1
+bash_process-1.2.2
 csdp-6.x
 cvc4-1.5-3
 e-2.0-1
@@ -10,7 +10,7 @@
 jortho-1.0-2
 kodkodi-1.5.2
 nunchaku-0.5
-polyml-5.6-1
+polyml-5.6-2
 postgresql-42.1.4
 scala-2.12.3
 smbc-0.4.1