Added package name to opam file

Gbury · Nov 30, 2015 · 9f421e6 · 9f421e6
1 parent 3f1d9fe
commit 9f421e6
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/opam b/opam
@@ -1,4 +1,5 @@
 opam-version: "1.2"
+name:"msat"
 license: "Apache"
 version: "dev"
 author: ["Sylvain Conchon" "Alain Mebsout" "Stephane Lecuyer" "Simon Cruanes" "Guillaume Bury"]