Merge pull request #800 from subsetpark/patch-1

Update packages.json
2018-07-17 19:35:09 +01:00 · 2018-07-17 19:35:09 +01:00 · f42685a5e3
commit f42685a5e3
parent cf1424f70c 160edef086
1 changed files with 1 additions and 1 deletions
--- a/packages.json
+++ b/packages.json
@ -7728,7 +7728,7 @@
  },
  {
    "name": "syphus",
-    "url": "https://github.com/makingspace/syphus-nim",
+    "url": "https://github.com/makingspace/syphus",
    "method": "git",
    "tags": [
      "optimization",