chore: update repo name in opam

imandra-ai · Jun 9, 2023 · d295f7e · d295f7e
1 parent 38b068c
commit d295f7e
Show file tree

Hide file tree

Showing 7 changed files with 18 additions and 18 deletions.
diff --git a/README.md b/README.md
@@ -1,4 +1,4 @@
-# Catapult [![build](https://github.com/AestheticIntegration/catapult/actions/workflows/main.yml/badge.svg)](https://github.com/AestheticIntegration/catapult/actions/workflows/main.yml)
+# Catapult [![build](https://github.com/imandra-ai/catapult/actions/workflows/main.yml/badge.svg)](https://github.com/imandra-ai/catapult/actions/workflows/main.yml)
 
 This is a tracing library for OCaml, based on the
 [Catapult/TEF](https://docs.google.com/document/d/1CvAClvFfyA5R-PhYUmn5OOQtYMH4h6I0nSsKchNAySU/)

diff --git a/catapult-client.opam b/catapult-client.opam
@@ -5,8 +5,8 @@ synopsis: "Network client for catapult, to be paired with catapult-daemon"
 maintainer: ["simon@imandra.ai"]
 authors: ["simon@imandra.ai"]
 license: "MIT"
-homepage: "https://github.com/AestheticIntegration/catapult"
-bug-reports: "https://github.com/AestheticIntegration/catapult/issues"
+homepage: "https://github.com/imandra-ai/catapult"
+bug-reports: "https://github.com/imandra-ai/catapult/issues"
 depends: [
   "dune" {>= "2.7"}
   "catapult" {= version}
@@ -28,4 +28,4 @@ build: [
     "@doc" {with-doc}
   ]
 ]
-dev-repo: "git+https://github.com/AestheticIntegration/catapult.git"
+dev-repo: "git+https://github.com/imandra-ai/catapult.git"
diff --git a/catapult-daemon.opam b/catapult-daemon.opam
@@ -5,8 +5,8 @@ synopsis: "Daemon for reliable multi-process logging with catapult"
 maintainer: ["simon@imandra.ai"]
 authors: ["simon@imandra.ai"]
 license: "MIT"
-homepage: "https://github.com/AestheticIntegration/catapult"
-bug-reports: "https://github.com/AestheticIntegration/catapult/issues"
+homepage: "https://github.com/imandra-ai/catapult"
+bug-reports: "https://github.com/imandra-ai/catapult/issues"
 depends: [
   "dune" {>= "2.7"}
   "odoc" {with-doc}
@@ -29,4 +29,4 @@ build: [
     "@doc" {with-doc}
   ]
 ]
-dev-repo: "git+https://github.com/AestheticIntegration/catapult.git"
+dev-repo: "git+https://github.com/imandra-ai/catapult.git"
diff --git a/catapult-file.opam b/catapult-file.opam
@@ -5,8 +5,8 @@ synopsis: "File logger for catapult"
 maintainer: ["simon@imandra.ai"]
 authors: ["simon@imandra.ai"]
 license: "MIT"
-homepage: "https://github.com/AestheticIntegration/catapult"
-bug-reports: "https://github.com/AestheticIntegration/catapult/issues"
+homepage: "https://github.com/imandra-ai/catapult"
+bug-reports: "https://github.com/imandra-ai/catapult/issues"
 depends: [
   "dune" {>= "2.7"}
   "catapult" {= version}
@@ -27,4 +27,4 @@ build: [
     "@doc" {with-doc}
   ]
 ]
-dev-repo: "git+https://github.com/AestheticIntegration/catapult.git"
+dev-repo: "git+https://github.com/imandra-ai/catapult.git"
diff --git a/catapult-sqlite.opam b/catapult-sqlite.opam
@@ -5,8 +5,8 @@ synopsis: "Sqlite-based backend for Catapult tracing"
 maintainer: ["simon@imandra.ai"]
 authors: ["simon@imandra.ai"]
 license: "MIT"
-homepage: "https://github.com/AestheticIntegration/catapult"
-bug-reports: "https://github.com/AestheticIntegration/catapult/issues"
+homepage: "https://github.com/imandra-ai/catapult"
+bug-reports: "https://github.com/imandra-ai/catapult/issues"
 depends: [
   "dune" {>= "2.7"}
   "sqlite3" {>= "5.0"}
@@ -29,4 +29,4 @@ build: [
     "@doc" {with-doc}
   ]
 ]
-dev-repo: "git+https://github.com/AestheticIntegration/catapult.git"
+dev-repo: "git+https://github.com/imandra-ai/catapult.git"
diff --git a/catapult.opam b/catapult.opam
@@ -5,8 +5,8 @@ synopsis: "Tracing system based on the Catapult/TEF format"
 maintainer: ["simon@imandra.ai"]
 authors: ["simon@imandra.ai"]
 license: "MIT"
-homepage: "https://github.com/AestheticIntegration/catapult"
-bug-reports: "https://github.com/AestheticIntegration/catapult/issues"
+homepage: "https://github.com/imandra-ai/catapult"
+bug-reports: "https://github.com/imandra-ai/catapult/issues"
 depends: [
   "dune" {>= "2.7"}
   "base-threads"
@@ -29,4 +29,4 @@ build: [
     "@doc" {with-doc}
   ]
 ]
-dev-repo: "git+https://github.com/AestheticIntegration/catapult.git"
+dev-repo: "git+https://github.com/imandra-ai/catapult.git"
diff --git a/dune-project b/dune-project
@@ -1,10 +1,10 @@
 (lang dune 2.7)
 (generate_opam_files true)
 (license MIT)
-(homepage "https://github.com/AestheticIntegration/catapult")
+(homepage "https://github.com/imandra-ai/catapult")
 (authors "simon@imandra.ai")
 (maintainers "simon@imandra.ai")
-(source (github AestheticIntegration/catapult))
+(source (github imandra-ai/catapult))
 (version 0.2)
 (name catapult)