diff --git a/minismt.opam b/minismt.opam
index 1236ffbb..a38b471a 100644
--- a/minismt.opam
+++ b/minismt.opam
@@ -12,6 +12,7 @@ depends: [
   "ocamlfind" {build}
   "jbuilder" {build}
   "dolmen"
+  "msat"
 ]
 available: [
   ocaml-version >= "4.03.0"
diff --git a/msat_solver.opam b/msat_solver.opam
deleted file mode 100644
index dfa006db..00000000
--- a/msat_solver.opam
+++ /dev/null
@@ -1,23 +0,0 @@
-opam-version: "1.2"
-name: "msat"
-license: "Apache"
-version: "dev"
-author: ["Sylvain Conchon" "Alain Mebsout" "Stephane Lecuyer" "Simon Cruanes" "Guillaume Bury"]
-maintainer: ["guillaume.bury@gmail.com" "simon.cruanes.2007@m4x.org"]
-build: ["jbuilder" "build" "@install" "-p" name]
-build-doc: ["jbuilder" "build" "@doc" "-p" name]
-install: ["jbuilder" "install" name]
-remove: ["jbuilder" "uninstall" name]
-depends: [
-  "ocamlfind" {build}
-  "jbuilder" {build}
-  "dolmen"
-]
-available: [
-  ocaml-version >= "4.03.0"
-]
-tags: [ "sat" "smt" ]
-homepage: "https://github.com/Gbury/mSAT"
-dev-repo: "https://github.com/Gbury/mSAT.git"
-bug-reports: "https://github.com/Gbury/mSAT/issues/"
-
diff --git a/src/main/jbuild b/src/main/jbuild
index 19dae05d..8de51a2e 100644
--- a/src/main/jbuild
+++ b/src/main/jbuild
@@ -5,7 +5,7 @@
 (executable
   ((name main)
    (public_name msat_solver)
-   (package msat_solver)
+   (package minismt)
    (libraries (msat msat.backend minismt.sat minismt.smt minismt.mcsat dolmen))
    (flags (:standard -w +a-4-42-44-48-50-58-32-60@8 -color always -safe-string))
    (ocamlopt_flags (:standard -O3 -color always