diff --git a/conf-libclang-15-dev.opam b/conf-libclang-15-dev.opam
deleted file mode 100644
index e431a02..0000000
--- a/conf-libclang-15-dev.opam
+++ /dev/null
@@ -1,28 +0,0 @@
-# This file is generated by dune, edit dune-project instead
-dev-repo: "git+https://github.com/rems-project/c-tree-carver.git"
-# Adapted from https://github.com/ocaml/opam-repository/blob/master/packages/conf-libclang/conf-libclang.12/opam
-# Because `["libclang-dev" "llvm-dev"] {os-family = "debian"}` does not actually guarantee version 12
-opam-version: "2.0"
-maintainer: "https://github.com/rems-project/c-tree-carver/pulls"
-authors: "The LLVM team"
-homepage: "http://llvm.org"
-bug-reports: "https://llvm.org/bugs/"
-license: "MIT"
-build-env: [
-  [HOMEBREW_NO_AUTO_UPDATE = "1"]
-]
-build: [
-  ["bash" "-ex" "files/configure.sh" version]
-]
-depends: [
-  "conf-bash" {build}
-]
-depexts: [
-  ["libclang-15-dev"] {os-family = "debian"}
-]
-extra-files: [[
-  "configure.sh" "sha512=f7f3bedd554da272d3a14d631481bfed0fecce52054cd35fedf41a4493bcc7973fc28abeb305755fb546927785a6f69d1cf2d15b306da35777b471d2bc770864"
-]]
-synopsis: "Virtual package relying on libclang-15-dev library"
-description: "This package can only install if the libclang-15-dev library is installed on the system."
-flags: conf
diff --git a/conf-libclang-15-dev.opam.template b/conf-libclang-15-dev.opam.template
deleted file mode 100644
index da5817d..0000000
--- a/conf-libclang-15-dev.opam.template
+++ /dev/null
@@ -1,26 +0,0 @@
-# Adapted from https://github.com/ocaml/opam-repository/blob/master/packages/conf-libclang/conf-libclang.12/opam
-# Because `["libclang-dev" "llvm-dev"] {os-family = "debian"}` does not actually guarantee version 12
-opam-version: "2.0"
-maintainer: "https://github.com/rems-project/c-tree-carver/pulls"
-authors: "The LLVM team"
-homepage: "http://llvm.org"
-bug-reports: "https://llvm.org/bugs/"
-license: "MIT"
-build-env: [
-  [HOMEBREW_NO_AUTO_UPDATE = "1"]
-]
-build: [
-  ["bash" "-ex" "files/configure.sh" version]
-]
-depends: [
-  "conf-bash" {build}
-]
-depexts: [
-  ["libclang-15-dev"] {os-family = "debian"}
-]
-extra-files: [[
-  "configure.sh" "sha512=f7f3bedd554da272d3a14d631481bfed0fecce52054cd35fedf41a4493bcc7973fc28abeb305755fb546927785a6f69d1cf2d15b306da35777b471d2bc770864"
-]]
-synopsis: "Virtual package relying on libclang-15-dev library"
-description: "This package can only install if the libclang-15-dev library is installed on the system."
-flags: conf