diff --git a/VERSION b/VERSION
deleted file mode 100644
index d183d4ac..00000000
--- a/VERSION
+++ /dev/null
@@ -1 +0,0 @@
-0.16.0
\ No newline at end of file
diff --git a/jbuild-workspace.dev b/jbuild-workspace.dev
deleted file mode 100644
index 8fd86d2f..00000000
--- a/jbuild-workspace.dev
+++ /dev/null
@@ -1,4 +0,0 @@
-;; This file is used by `make all-supported-ocaml-versions`
-(context ((switch 4.04.2)))
-(context ((switch 4.05.0)))
-(context ((switch 4.06.0)))
\ No newline at end of file
diff --git a/pkg/pkg.ml b/pkg/pkg.ml
deleted file mode 100644
index 1a04c2b4..00000000
--- a/pkg/pkg.ml
+++ /dev/null
@@ -1,2 +0,0 @@
-#use "topfind"
-#require "topkg-jbuilder.auto"