From c7b568416934fc3a2dbff92706dac4eaa1267dc7 Mon Sep 17 00:00:00 2001
From: Silvio Traversaro <silvio@traversaro.it>
Date: Wed, 16 Sep 2020 03:13:18 +0200
Subject: [dartsim] Fix version in vcpkg.json (#13550)

---
 ports/dartsim/vcpkg.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ports/dartsim/vcpkg.json b/ports/dartsim/vcpkg.json
index 874754b87..0029e6c3c 100644
--- a/ports/dartsim/vcpkg.json
+++ b/ports/dartsim/vcpkg.json
@@ -1,6 +1,6 @@
 {
   "name": "dartsim",
-  "version-string": "9.4.0",
+  "version-string": "6.9.4",
   "description": "Dynamic Animation and Robotics Toolkit",
   "homepage": "https://dartsim.github.io/",
   "dependencies": [
-- 
cgit v1.2.3