updated readme

verse-lab · Apr 6, 2020 · 0a31ac9 · 0a31ac9
1 parent 22ce2f8
commit 0a31ac9
Showing 1 changed file with 19 additions and 1 deletion.
diff --git a/readme.md b/readme.md
@@ -1,5 +1,23 @@
 # Ceramist -  Verified Hash-based Approximate Membership Structures
-## Installation
+## Installation (using Opam)
+Create a new switch
+```
+opam switch create ceramist 4.09.0
+eval $(opam env)
+```
+
+Add coq-released repository to opam:
+```
+opam repo add coq-released https://coq.inria.fr/opam/released
+```
+
+Install ceramist:
+```
+opam install coq-ceramist.1.0.1
+```
+
+
+## Installation (from Sources)
 Use opam to install dependencies
 
 ```