From a0d993640a24ee6a6dc6a3f116bffe4bfabeea6e Mon Sep 17 00:00:00 2001
From: kalmarek <kalmar@amu.edu.pl>
Date: Wed, 3 Apr 2019 12:05:02 +0200
Subject: [PATCH] update Project & Manifest

---
 Manifest.toml | 22 +++++++---------------
 Project.toml  | 15 ++++++++++++++-
 2 files changed, 21 insertions(+), 16 deletions(-)

diff --git a/Manifest.toml b/Manifest.toml
index 0cbe217..bc153c9 100644
--- a/Manifest.toml
+++ b/Manifest.toml
@@ -2,19 +2,13 @@
 
 [[AbstractAlgebra]]
 deps = ["InteractiveUtils", "LinearAlgebra", "Markdown", "Random", "SparseArrays", "Test"]
-git-tree-sha1 = "e5ed69a4b9fe23a4effb7a48ec8f5080fc4bfbc2"
+git-tree-sha1 = "56bdd9e9bb2cfdf0876d0846b337c8f395d9a4b7"
 uuid = "c3fe647b-3220-5bb0-a1ea-a7954cac585d"
-version = "0.4.5"
+version = "0.4.6"
 
 [[Base64]]
 uuid = "2a0f44e3-6c83-55bd-87e4-b1978d98bd5f"
 
-[[BenchmarkTools]]
-deps = ["JSON", "Printf", "Statistics", "Test"]
-git-tree-sha1 = "5d1dd8577643ba9014574cd40d9c028cd5e4b85a"
-uuid = "6e4b80f9-dd63-53aa-95a3-0cdb28fa8baf"
-version = "0.4.2"
-
 [[BinDeps]]
 deps = ["Compat", "Libdl", "SHA", "URIParser"]
 git-tree-sha1 = "12093ca6cdd0ee547c39b1870e0c9c3f154d9ca9"
@@ -122,9 +116,9 @@ version = "0.2.0"
 
 [[FileIO]]
 deps = ["Pkg", "Random", "Test"]
-git-tree-sha1 = "c94b0787956629036fb2b20fccde9e52b89d079a"
+git-tree-sha1 = "da32159d4a2e526338506685e280e39ed2f18961"
 uuid = "5789e2e9-d7fb-5bc7-8068-2c6fae9b9549"
-version = "1.0.5"
+version = "1.0.6"
 
 [[ForwardDiff]]
 deps = ["CommonSubexpressions", "DiffResults", "DiffRules", "InteractiveUtils", "LinearAlgebra", "NaNMath", "Random", "SparseArrays", "SpecialFunctions", "StaticArrays", "Test"]
@@ -258,9 +252,9 @@ version = "0.3.2"
 
 [[Nemo]]
 deps = ["AbstractAlgebra", "BinaryProvider", "InteractiveUtils", "Libdl", "LinearAlgebra", "Markdown", "Test"]
-git-tree-sha1 = "a152b26c888fbe3c191424938243552935ca2f51"
+git-tree-sha1 = "24b361effd69b4ca78014a7bab1b81d1de7f35c0"
 uuid = "2edaba10-b0f1-5616-af89-8c11ac63239a"
-version = "0.13.1"
+version = "0.13.2"
 
 [[OrderedCollections]]
 deps = ["Random", "Serialization", "Test"]
@@ -288,9 +282,7 @@ uuid = "9abbd945-dff8-562f-b5e8-e1ebf5ef1b79"
 
 [[PropertyT]]
 deps = ["AbstractAlgebra", "Dates", "GroupRings", "Groups", "IntervalArithmetic", "JLD", "JuMP", "LinearAlgebra", "Markdown", "MathProgBase", "Nemo", "Printf", "SparseArrays"]
-git-tree-sha1 = "4c4a5086b0c4dee30bba27ddf42e7ebb403765c2"
-repo-rev = "master"
-repo-url = "https://github.com/kalmarek/PropertyT.jl"
+path = "/home/kalmar/.julia/dev/PropertyT"
 uuid = "03b72c93-0167-51e2-8a1e-eb4ff1fb940d"
 version = "0.2.0"
 
diff --git a/Project.toml b/Project.toml
index 8abe6c9..fb05b69 100644
--- a/Project.toml
+++ b/Project.toml
@@ -1,10 +1,23 @@
+name = "1712.07167"
+uuid = "c0ba6078-cfcc-57dc-8f34-6df289db1335"
+authors = ["Marek Kaluba <kalmar@amu.edu.pl>"]
+version = "0.1.0"
+
 [deps]
-BenchmarkTools = "6e4b80f9-dd63-53aa-95a3-0cdb28fa8baf"
+AbstractAlgebra = "c3fe647b-3220-5bb0-a1ea-a7954cac585d"
 GroupRings = "0befed6a-bd73-11e8-1e41-a1190947c2f5"
 Groups = "5d8bd718-bd84-11e8-3b40-ad14f4a32557"
 IntervalArithmetic = "d1acc4aa-44c8-5952-acd4-ba5d80a2a253"
 JLD = "4138dd39-2aa7-5051-a626-17a0bb65d9c8"
+Nemo = "2edaba10-b0f1-5616-af89-8c11ac63239a"
 PropertyT = "03b72c93-0167-51e2-8a1e-eb4ff1fb940d"
 SCS = "c946c3f1-0d1f-5ce8-9dea-7daa1f7e2d13"
 SparseArrays = "2f01184e-e22b-5df5-ae63-d93ebab69eaf"
 StaticArrays = "90137ffa-7385-5640-81b9-e52037218182"
+
+[extras]
+SCS = "c946c3f1-0d1f-5ce8-9dea-7daa1f7e2d13"
+Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"
+
+[targets]
+test = ["Test", "SCS"]