From df10f4dbf9194df6adc879b9dc9052925fc0ec81 Mon Sep 17 00:00:00 2001
From: JuliaRegistrator <ci@juliacomputing.com>
Date: Wed, 20 Sep 2023 07:13:10 +0000
Subject: [PATCH] New package: FlagSOS v0.1.0

UUID: 78b365f2-6d95-4275-8db6-8dceb35a712b
Repo: https://github.com/DanielBrosch/FlagSOS.jl.git
Tree: b047b3f8f4094a90fd7ffcc2c86a7c63150e1b6e

Registrator tree SHA: f73a20c99934db92a256057d0d83ba394036a701
---
 F/FlagSOS/Compat.toml   | 7 +++++++
 F/FlagSOS/Deps.toml     | 8 ++++++++
 F/FlagSOS/Package.toml  | 3 +++
 F/FlagSOS/Versions.toml | 2 ++
 Registry.toml           | 1 +
 5 files changed, 21 insertions(+)
 create mode 100644 F/FlagSOS/Compat.toml
 create mode 100644 F/FlagSOS/Deps.toml
 create mode 100644 F/FlagSOS/Package.toml
 create mode 100644 F/FlagSOS/Versions.toml

diff --git a/F/FlagSOS/Compat.toml b/F/FlagSOS/Compat.toml
new file mode 100644
index 000000000000000..672d88f89df28de
--- /dev/null
+++ b/F/FlagSOS/Compat.toml
@@ -0,0 +1,7 @@
+[0]
+AbstractAlgebra = "0.31-0.32"
+Combinatorics = "1"
+DataStructures = "0.18"
+DocStringExtensions = "0.9"
+JuMP = "1"
+julia = "1.8.0-1"
diff --git a/F/FlagSOS/Deps.toml b/F/FlagSOS/Deps.toml
new file mode 100644
index 000000000000000..964abc566a05a69
--- /dev/null
+++ b/F/FlagSOS/Deps.toml
@@ -0,0 +1,8 @@
+[0]
+AbstractAlgebra = "c3fe647b-3220-5bb0-a1ea-a7954cac585d"
+Combinatorics = "861a8166-3701-5b0c-9a16-15d98fcdc6aa"
+DataStructures = "864edb3b-99cc-5e75-8d2d-829cb0a9cfe8"
+DocStringExtensions = "ffbed154-4ef7-542d-bbb7-c09d3a79fcae"
+JuMP = "4076af6c-e467-56ae-b986-b466b2749572"
+LinearAlgebra = "37e2e46d-f89d-539d-b4ee-838fcccc9c8e"
+SparseArrays = "2f01184e-e22b-5df5-ae63-d93ebab69eaf"
diff --git a/F/FlagSOS/Package.toml b/F/FlagSOS/Package.toml
new file mode 100644
index 000000000000000..25559f31aa76ece
--- /dev/null
+++ b/F/FlagSOS/Package.toml
@@ -0,0 +1,3 @@
+name = "FlagSOS"
+uuid = "78b365f2-6d95-4275-8db6-8dceb35a712b"
+repo = "https://github.com/DanielBrosch/FlagSOS.jl.git"
diff --git a/F/FlagSOS/Versions.toml b/F/FlagSOS/Versions.toml
new file mode 100644
index 000000000000000..1bed02b250d10bf
--- /dev/null
+++ b/F/FlagSOS/Versions.toml
@@ -0,0 +1,2 @@
+["0.1.0"]
+git-tree-sha1 = "b047b3f8f4094a90fd7ffcc2c86a7c63150e1b6e"
diff --git a/Registry.toml b/Registry.toml
index 564c4da20382790..93df9ffe1aad5cf 100644
--- a/Registry.toml
+++ b/Registry.toml
@@ -4765,6 +4765,7 @@ some amount of consideration when choosing package names.
 78ae1a1f-1d5d-5174-b61c-66e31b2346dc = { name = "QuantumLattices", path = "Q/QuantumLattices" }
 78af60b6-7677-4c75-8291-bd270d1b4390 = { name = "SMARTBackendServices", path = "S/SMARTBackendServices" }
 78b212ba-a7f9-42d4-b726-60726080707e = { name = "Javis", path = "J/Javis" }
+78b365f2-6d95-4275-8db6-8dceb35a712b = { name = "FlagSOS", path = "F/FlagSOS" }
 78b55507-aeef-58d4-861c-77aaff3498b1 = { name = "Gettext_jll", path = "jll/G/Gettext_jll" }
 78ba9c6e-4c92-4abc-8d32-e9cb1304b8da = { name = "QuantumStateDistributions", path = "Q/QuantumStateDistributions" }
 78c3b35d-d492-501b-9361-3d52fe80e533 = { name = "Mocking", path = "M/Mocking" }