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
JuliaRegistries · Jan 4, 2025 · 9d3e403 · 9d3e403
1 parent fbae47d
commit 9d3e403
Show file tree

Hide file tree

Showing 5 changed files with 13 additions and 0 deletions.
diff --git 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
@@ -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
@@ -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
@@ -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
@@ -0,0 +1,2 @@
+["0.1.0"]
+git-tree-sha1 = "e3a6788c0c8ea352956fca909be02033a866399c"
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,2 @@
		["0.1.0"]
		git-tree-sha1 = "e3a6788c0c8ea352956fca909be02033a866399c"