diff --git a/opam b/opam
index b760ac53..eb0bf60a 100644
--- 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"]