diff --git a/packages/kappa-agents/kappa-agents.4.1.3/opam b/packages/kappa-agents/kappa-agents.4.1.3/opam
new file mode 100644
index 000000000000..71146e5c5f03
--- /dev/null
+++ b/packages/kappa-agents/kappa-agents.4.1.3/opam
@@ -0,0 +1,64 @@
+# This file is generated by dune, edit dune-project instead
+opam-version: "2.0"
+synopsis:
+  "Backends for an interactive use of the Kappa tool suite. Used by the kappa-webapp, probably not relevant else. Previously used by deprecated kappa-server"
+maintainer: [
+  "Antoine Pouille <antoine.a.pouille@inria.fr>"
+  "Jérôme Feret <jerome.feret@info.ens.psl.eu>"
+]
+authors: [
+  "Jean Krivine"
+  "Jérôme Feret"
+  "Pierre Boutillier"
+  "Ioana Cristescu"
+  "Mutaamba Maasha"
+  "Lý Kim Quyên"
+  "Antoine Pouille"
+]
+license: "LGPL-3.0-only"
+homepage: "https://kappalanguage.org/"
+doc:
+  "https://kappalanguage.org/sites/kappalanguage.org/files/inline-files/Kappa_Manual.pdf"
+bug-reports: "https://github.com/Kappa-Dev/KappaTools/issues"
+depends: [
+  "dune" {>= "2.9"}
+  "ocaml" {>= "4.13.0" & < "5.0.0"}
+  "yojson" {= "2.1.0"}
+  "lwt" {= "5.7.0"}
+  "num" {= "1.5"}
+  "re" {= "1.11.0"}
+  "fmt" {= "0.9.0"}
+  "logs" {= "0.7.0"}
+  "atdgen" {= "2.15.0"}
+  "atdgen-runtime" {= "2.15.0"}
+  "kappa-library"
+  "result" {= "1.5"}
+  "stdlib-shims" {= "0.3.0"}
+  "camlp-streams" {= "5.0.1"}
+  "odoc" {with-doc}
+]
+build: [
+  ["dune" "subst"] {dev}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "--promote-install-files=false"
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+  ["dune" "install" "-p" name "--create-install-files" name]
+]
+dev-repo: "git+https://github.com/Kappa-Dev/KappaTools.git"
+url {
+  src:
+    "https://github.com/Kappa-Dev/KappaTools/archive/refs/tags/v4.1.3.tar.gz"
+  checksum: [
+    "md5=fde95d60939ba6c2e33891de7e88bd04"
+    "sha512=b8c2fd65c28fddfea197d0b8c504052b4b31d66ee60b4a682b72e6a51989d90c6dacf64bce0d5591431343507c6748c8dd869fb9b5a0ef51e8f8d851ffb3c326"
+  ]
+}
diff --git a/packages/kappa-binaries/kappa-binaries.4.1.3/opam b/packages/kappa-binaries/kappa-binaries.4.1.3/opam
new file mode 100644
index 000000000000..85f45477453e
--- /dev/null
+++ b/packages/kappa-binaries/kappa-binaries.4.1.3/opam
@@ -0,0 +1,64 @@
+# This file is generated by dune, edit dune-project instead
+opam-version: "2.0"
+synopsis:
+  "Command line interfaces of the Kappa tool suite. Use this package if you want the CLI kappa tools"
+maintainer: [
+  "Antoine Pouille <antoine.a.pouille@inria.fr>"
+  "Jérôme Feret <jerome.feret@info.ens.psl.eu>"
+]
+authors: [
+  "Jean Krivine"
+  "Jérôme Feret"
+  "Pierre Boutillier"
+  "Ioana Cristescu"
+  "Mutaamba Maasha"
+  "Lý Kim Quyên"
+  "Antoine Pouille"
+]
+license: "LGPL-3.0-only"
+homepage: "https://kappalanguage.org/"
+doc:
+  "https://kappalanguage.org/sites/kappalanguage.org/files/inline-files/Kappa_Manual.pdf"
+bug-reports: "https://github.com/Kappa-Dev/KappaTools/issues"
+depends: [
+  "dune" {>= "2.9"}
+  "ocaml" {>= "4.13.0" & < "5.0.0"}
+  "yojson" {= "2.1.0"}
+  "lwt" {= "5.7.0"}
+  "num" {= "1.5"}
+  "re" {= "1.11.0"}
+  "fmt" {= "0.9.0"}
+  "logs" {= "0.7.0"}
+  "kappa-library"
+  "result" {= "1.5"}
+  "stdlib-shims" {= "0.3.0"}
+  "camlp-streams" {= "5.0.1"}
+  "odoc" {with-doc}
+]
+depopts: ["labltk"]
+build: [
+  ["dune" "subst"] {dev}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "--promote-install-files=false"
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+  ["dune" "install" "-p" name "--create-install-files" name]
+]
+dev-repo: "git+https://github.com/Kappa-Dev/KappaTools.git"
+run-test: [ make "check" ]
+url {
+  src:
+    "https://github.com/Kappa-Dev/KappaTools/archive/refs/tags/v4.1.3.tar.gz"
+  checksum: [
+    "md5=fde95d60939ba6c2e33891de7e88bd04"
+    "sha512=b8c2fd65c28fddfea197d0b8c504052b4b31d66ee60b4a682b72e6a51989d90c6dacf64bce0d5591431343507c6748c8dd869fb9b5a0ef51e8f8d851ffb3c326"
+  ]
+}
diff --git a/packages/kappa-library/kappa-library.4.1.3/opam b/packages/kappa-library/kappa-library.4.1.3/opam
new file mode 100644
index 000000000000..0b715e2e0809
--- /dev/null
+++ b/packages/kappa-library/kappa-library.4.1.3/opam
@@ -0,0 +1,61 @@
+# This file is generated by dune, edit dune-project instead
+opam-version: "2.0"
+synopsis:
+  "Public internals of the Kappa tool suite. Use this package to use kappa as a lib"
+maintainer: [
+  "Antoine Pouille <antoine.a.pouille@inria.fr>"
+  "Jérôme Feret <jerome.feret@info.ens.psl.eu>"
+]
+authors: [
+  "Jean Krivine"
+  "Jérôme Feret"
+  "Pierre Boutillier"
+  "Ioana Cristescu"
+  "Mutaamba Maasha"
+  "Lý Kim Quyên"
+  "Antoine Pouille"
+]
+license: "LGPL-3.0-only"
+homepage: "https://kappalanguage.org/"
+doc:
+  "https://kappalanguage.org/sites/kappalanguage.org/files/inline-files/Kappa_Manual.pdf"
+bug-reports: "https://github.com/Kappa-Dev/KappaTools/issues"
+depends: [
+  "dune" {>= "2.9"}
+  "ocaml" {>= "4.13.0" & < "5.0.0"}
+  "yojson" {>= "2.0"}
+  "lwt" {>= "4.2.0"}
+  "num"
+  "re"
+  "fmt"
+  "logs"
+  "result"
+  "stdlib-shims"
+  "camlp-streams"
+  "odoc" {with-doc}
+]
+build: [
+  ["dune" "subst"] {dev}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "--promote-install-files=false"
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+  ["dune" "install" "-p" name "--create-install-files" name]
+]
+dev-repo: "git+https://github.com/Kappa-Dev/KappaTools.git"
+url {
+  src:
+    "https://github.com/Kappa-Dev/KappaTools/archive/refs/tags/v4.1.3.tar.gz"
+  checksum: [
+    "md5=fde95d60939ba6c2e33891de7e88bd04"
+    "sha512=b8c2fd65c28fddfea197d0b8c504052b4b31d66ee60b4a682b72e6a51989d90c6dacf64bce0d5591431343507c6748c8dd869fb9b5a0ef51e8f8d851ffb3c326"
+  ]
+}