From 9d3e403d72fcd9c3f57b8e651edb8e85edc7d05a Mon Sep 17 00:00:00 2001
From: Registrator <ci@juliacomputing.com>
Date: Sun, 5 Jan 2025 03:52:32 +0530
Subject: [PATCH] New package: Toposes v0.1.0 (#122268)

UUID: 36a15fe6-6211-457f-8fdb-aa2e0d2f3052
Repo: https://github.com/homalg-project/Toposes.jl.git
Tree: e3a6788c0c8ea352956fca909be02033a866399c

Registrator tree SHA: 17aec322677d9b81cdd6b9b9236b09a3f1374c6a
---
 Registry.toml           | 1 +
 T/Toposes/Compat.toml   | 4 ++++
 T/Toposes/Deps.toml     | 3 +++
 T/Toposes/Package.toml  | 3 +++
 T/Toposes/Versions.toml | 2 ++
 5 files changed, 13 insertions(+)
 create mode 100644 T/Toposes/Compat.toml
 create mode 100644 T/Toposes/Deps.toml
 create mode 100644 T/Toposes/Package.toml
 create mode 100644 T/Toposes/Versions.toml

diff --git a/Registry.toml b/Registry.toml
index 6f5831af68c0bd3..cc87c6dd168af1a 100644
--- a/Registry.toml
+++ b/Registry.toml
@@ -2553,6 +2553,7 @@ some amount of consideration when choosing package names.
 369a3862-bec2-4fd2-abcd-2df79a05ee65 = { name = "MinimumVolumeEllipsoids", path = "M/MinimumVolumeEllipsoids" }
 369d3230-709b-4770-b64e-2fec7152d6dc = { name = "Spotify", path = "S/Spotify" }
 36a13073-9e6e-4b19-b12b-cb530e79ee8e = { name = "EntropyScaling", path = "E/EntropyScaling" }
+36a15fe6-6211-457f-8fdb-aa2e0d2f3052 = { name = "Toposes", path = "T/Toposes" }
 36a4119d-6b73-4371-88fe-ba2d91f5495d = { name = "ManagedLoops", path = "M/ManagedLoops" }
 36aa67b7-9d79-4e90-bbc0-05abd90a007e = { name = "GrundmannMoeller", path = "G/GrundmannMoeller" }
 36b166db-dac5-4d05-b36a-e6c4cef071c9 = { name = "Boscia", path = "B/Boscia" }
diff --git a/T/Toposes/Compat.toml b/T/Toposes/Compat.toml
new file mode 100644
index 000000000000000..c51b3d839003e80
--- /dev/null
+++ b/T/Toposes/Compat.toml
@@ -0,0 +1,4 @@
+[0]
+CAP = "0.1-0.2"
+CartesianCategories = "0.1"
+julia = "1.11.0-1"
diff --git a/T/Toposes/Deps.toml b/T/Toposes/Deps.toml
new file mode 100644
index 000000000000000..fd55cf40ab2a3e5
--- /dev/null
+++ b/T/Toposes/Deps.toml
@@ -0,0 +1,3 @@
+[0]
+CAP = "d64df2ee-d2bb-46f4-8cbc-f03bb858f8cb"
+CartesianCategories = "c5961c08-7b59-43f4-a15e-02b3e7c87ab8"
diff --git a/T/Toposes/Package.toml b/T/Toposes/Package.toml
new file mode 100644
index 000000000000000..20b29d227068cab
--- /dev/null
+++ b/T/Toposes/Package.toml
@@ -0,0 +1,3 @@
+name = "Toposes"
+uuid = "36a15fe6-6211-457f-8fdb-aa2e0d2f3052"
+repo = "https://github.com/homalg-project/Toposes.jl.git"
diff --git a/T/Toposes/Versions.toml b/T/Toposes/Versions.toml
new file mode 100644
index 000000000000000..acd7cd609dc216f
--- /dev/null
+++ b/T/Toposes/Versions.toml
@@ -0,0 +1,2 @@
+["0.1.0"]
+git-tree-sha1 = "e3a6788c0c8ea352956fca909be02033a866399c"