updates

anmolsahoo25 · Aug 20, 2021 · 8844a06 · 8844a06
1 parent 4fc5d35
commit 8844a06
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 4 deletions.
diff --git a/dune-project b/dune-project
@@ -1 +1,2 @@
 (lang dune 2.7)
+(name mrdt)
diff --git a/mrdt.opam b/mrdt.opam
@@ -1,19 +1,23 @@
-# This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.0.1"
+
 synopsis: "Mergeable replicated data types"
-maintainer: ["Anmol Sahoo<anmol.sahoo25@gmail.com>"]
-authors: ["Anmol Sahoo"]
+
+version: "0.0.1"
 license: "MIT"
 homepage: "https://github.com/anmolsahoo25/mrdt"
 bug-reports: "https://github.com/anmolsahoo25/mrdt/issues"
+
+maintainer: ["Anmol Sahoo<anmol.sahoo25@gmail.com>"]
+authors: ["Anmol Sahoo"]
+
 depends: [
   "scylla" {>= "0.0.1"}
   "dune" {>= "2.7" & > "2.0.0"}
   "irmin" {> "2.0.0"}
   "ppx_irmin" {> "2.0.0"}
   "odoc" {with-doc}
 ]
+
 build: [
   ["dune" "subst"] {dev}
   [
@@ -28,4 +32,5 @@ build: [
     "@doc" {with-doc}
   ]
 ]
+
 dev-repo: "git+https://github.com/anmolsahoo25/mrdt.git"