update Project & Manifest

This commit is contained in:
kalmarek 2019-04-03 12:05:02 +02:00
parent 84945d3b5c
commit a0d993640a
No known key found for this signature in database
GPG Key ID: 8BF1A3855328FC15
2 changed files with 21 additions and 16 deletions

View File

@ -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"

View File

@ -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"]