New package: Buchi v0.0.1 (#122680)

UUID: 484f28d2-1a9e-4e02-bb9b-910131567e8f Repo: https://github.com/laurentbartholdi/Buchi.jl.git Tree: c50b1f1313b2594cf31df4ce73b6a360b4b3f7a4 Registrator tree SHA: 17aec322677d9b81cdd6b9b9236b09a3f1374c6a
JuliaRegistries · Jan 12, 2025 · d2277f7 · d2277f7
1 parent 4815623
commit d2277f7
Show file tree

Hide file tree

Showing 5 changed files with 22 additions and 0 deletions.
diff --git a/B/Buchi/Compat.toml b/B/Buchi/Compat.toml
@@ -0,0 +1,7 @@
+[0]
+CxxWrap = "0.12-0.16"
+DataStructures = "0.18"
+FileIO = "1"
+GraphViz = "0.2"
+SimpleTraits = "0.9"
+julia = "1.10.0-1"
diff --git a/B/Buchi/Deps.toml b/B/Buchi/Deps.toml
@@ -0,0 +1,9 @@
+[0]
+CxxWrap = "1f15a43c-97ca-5a2a-ae31-89f07a497df4"
+DataStructures = "864edb3b-99cc-5e75-8d2d-829cb0a9cfe8"
+FileIO = "5789e2e9-d7fb-5bc7-8068-2c6fae9b9549"
+GraphViz = "f526b714-d49f-11e8-06ff-31ed36ee7ee0"
+Libdl = "8f399da3-3557-5675-b5ff-fb832c97cbdb"
+SimpleTraits = "699a6c99-e7fa-54fc-8d76-47d257e15c1d"
+Spot_julia_jll = "b9ff107b-b78e-5f57-8772-57a339630ba9"
+Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"
diff --git a/B/Buchi/Package.toml b/B/Buchi/Package.toml
@@ -0,0 +1,3 @@
+name = "Buchi"
+uuid = "484f28d2-1a9e-4e02-bb9b-910131567e8f"
+repo = "https://github.com/laurentbartholdi/Buchi.jl.git"
diff --git a/B/Buchi/Versions.toml b/B/Buchi/Versions.toml
@@ -0,0 +1,2 @@
+["0.0.1"]
+git-tree-sha1 = "c50b1f1313b2594cf31df4ce73b6a360b4b3f7a4"
diff --git a/Registry.toml b/Registry.toml
@@ -3371,6 +3371,7 @@ some amount of consideration when choosing package names.
 4846b161-c94e-4150-8dac-c7ae193c601f = { name = "InferOpt", path = "I/InferOpt" }
 484a2c26-6e88-4a69-ae62-8a3d6c887535 = { name = "TestReadme", path = "T/TestReadme" }
 484b717a-98b9-4b0c-89dc-fb7d7e739263 = { name = "MeshKeeper", path = "M/MeshKeeper" }
+484f28d2-1a9e-4e02-bb9b-910131567e8f = { name = "Buchi", path = "B/Buchi" }
 4850f9bb-d191-4a1e-9f97-ee64062927c3 = { name = "JulGame", path = "J/JulGame" }
 485130c0-026e-11ea-0f1a-6992cd14145c = { name = "BilevelJuMP", path = "B/BilevelJuMP" }
 48530278-0828-4a49-9772-0f3830dfa1e9 = { name = "TBLIS", path = "T/TBLIS" }
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,2 @@
		["0.0.1"]
		git-tree-sha1 = "c50b1f1313b2594cf31df4ce73b6a360b4b3f7a4"