diff --git a/package.json b/package.json
new file mode 100644
index 0000000..7a69aea
--- /dev/null
+++ b/package.json
@@ -0,0 +1,4 @@
+{
+      "name": "agda-libjs",
+      "devDependencies": { "sha256": "^0.2.0", "requirejs": "2.1.17" }
+}