Added missing fields to byihive specs in manifest

Signed-off-by: Andrew Helwer <[email protected]>
tlaplus · Jan 31, 2024 · f2ede75 · f2ede75
1 parent 793a441
commit f2ede75
Showing 1 changed file with 10 additions and 4 deletions.
diff --git a/manifest.json b/manifest.json
@@ -3174,10 +3174,16 @@
     },
     {
       "path": "specifications/byihive",
-      "title": "byihive",
-      "description": "",
-      "sources": [],
-      "authors": [],
+      "title": "RFC 3506: Voucher Transaction System",
+      "description": "Formal specification of a peer-to-peer ledger protocol",
+      "sources": [
+        "https://github.com/byisystems/byihive"
+      ],
+      "authors": [
+        "Santhosh Raju",
+        "Cherry G. Mathew",
+        "Fransisca Andriani"
+      ],
       "tags": [],
       "modules": [
         {