urls.json: add new libtock-c newlib and libc++ artifacts (tock/libtoc…

…k-c#470)
tock · Nov 1, 2024 · 8cdd72e · 8cdd72e
1 parent e0f8c35
commit 8cdd72e
Showing 1 changed file with 20 additions and 1 deletion.
diff --git a/urls.json b/urls.json
@@ -153,5 +153,24 @@
     "last_head": 1730336138,
     "mirror": "https://alpha.mirror.svc.schuermann.io/files/tock/",
     "size": 314700571
+  },
+  "http://www.cs.virginia.edu/~bjc8c/archive/tock/libtock-newlib-4.4.0.20231231.zip": {
+    "checksum": null,
+    "discovered": [],
+    "ignored": false,
+    "last_fetch": null,
+    "last_head": null,
+    "mirror": "http://www.cs.virginia.edu/~bjc8c/archive/tock/",
+    "size": null
+  },
+  "http://www.cs.virginia.edu/~bjc8c/archive/tock/libtock-libc++-14.1.0.zip": {
+    "checksum": null,
+    "discovered": [],
+    "ignored": false,
+    "last_fetch": null,
+    "last_head": null,
+    "mirror": "http://www.cs.virginia.edu/~bjc8c/archive/tock/",
+    "size": null
   }
-}
+}
+