# HG changeset patch # User jbrayet # Date 1455120585 18000 # Node ID 760ec689d2f829fb1fb9a71c6627beb387b2f003 Uploaded diff -r 000000000000 -r 760ec689d2f8 tool_dependencies.xml --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/tool_dependencies.xml Wed Feb 10 11:09:45 2016 -0500 @@ -0,0 +1,13 @@ + + + + + + docker pull institutcuriengsintegration/chipmunk:6.0 + + + + + + +