diff --git a/.gitignore b/.gitignore
index 66435e9128..1428f49e66 100644
--- a/.gitignore
+++ b/.gitignore
@@ -4,12 +4,13 @@ META
 
 # Generated source files
 *.merlin
+sources/Makefile.config
 sources/lib/util/config.ml
 
 # Generated installation files
 sources/*.install
 
-# Generated build files
+# Generated build artifacts
 sources/_build
 
 # Generated release files
diff --git a/opam b/opam
deleted file mode 100644
index 4fe6240971..0000000000
--- a/opam
+++ /dev/null
@@ -1,47 +0,0 @@
-opam-version: "1.2"
-name: "alt-ergo"
-version: "2.2.0+"
-
-maintainer: "alt-ergo@ocamlpro.com"
-authors: "Alt-Ergo developers"
-license: "OCamlPro Non-Commercial License + Apache"
-homepage: "http://alt-ergo.ocamlpro.com/"
-bug-reports: "https://github.com/OCamlPro/alt-ergo/issues"
-dev-repo: "https://github.com/OCamlPro/alt-ergo.git"
-
-build: [
-  ["ocp-build" "build"]
-]
-
-install: [
-  ["ocp-build" "install"]
-]
-
-remove: [
-  ["ocp-build" "install" "--uninstall"]
-]
-
-depends: [
-  "num"
-  "zarith"
-  "camlzip"
-  "ocplib-simplex" {>= "0.4" }
-  "psmt2-frontend" {>= "0.1" }
-  "menhir"
-  "ocp-build" {build}
-]
-
-depopts: [
-  "lablgtk"
-  "conf-gtksourceview"
-]
-
-available: [ ocaml-version >= "4.04.0" ]
-
-conflicts: [
-  "alt-ergo" {< "2.0.0" }
-  "altgr-ergo" {< "2.0.0" }
-  "satML-plugin" {< "2.0.0" }
-  "profiler-plugin" {< "2.0.0" }
-  "fm-simplex-plugin" {< "2.0.0" }
-]
diff --git a/sources/Makefile.config b/sources/Makefile.config
deleted file mode 100644
index 7a6a3cd0be..0000000000
--- a/sources/Makefile.config
+++ /dev/null
@@ -1,4 +0,0 @@
-# Generated by configure
-prefix=/home/guigui/.opam/std
-libdir=/home/guigui/.opam/std/lib
-sharedir=/home/guigui/.opam/std/share
diff --git a/sources/alt-ergo.opam b/sources/alt-ergo.opam
index 2cf95e938b..a136125dba 100644
--- a/sources/alt-ergo.opam
+++ b/sources/alt-ergo.opam
@@ -10,12 +10,8 @@ build: [
 ]
 depends: [
   "ocaml" {>="4.04.0"}
-  "camlzip"
-  "dune" { build }
-  "num"
-  "ocplib-simplex" {>= "0.4" }
-  "psmt2-frontend" {>= "0.1" }
-  "zarith"
+  "alt-ergo-lib" { = "2.2.0+" }
+  "alt-ergo-parsers" { = "2.2.0+" }
 ]
 homepage: "http://alt-ergo.ocamlpro.com/"
 dev-repo: "https://github.com/OCamlPro/alt-ergo.git"