diff --git a/Manifest.toml b/Manifest.toml
index bc153c9..f7fe5c8 100644
--- a/Manifest.toml
+++ b/Manifest.toml
@@ -282,7 +282,9 @@ uuid = "9abbd945-dff8-562f-b5e8-e1ebf5ef1b79"
 
 [[PropertyT]]
 deps = ["AbstractAlgebra", "Dates", "GroupRings", "Groups", "IntervalArithmetic", "JLD", "JuMP", "LinearAlgebra", "Markdown", "MathProgBase", "Nemo", "Printf", "SparseArrays"]
-path = "/home/kalmar/.julia/dev/PropertyT"
+git-tree-sha1 = "1307df01fc484b44fd24328f30304912ebd9bf2a"
+repo-rev = "master"
+repo-url = "https://github.com/kalmarek/PropertyT.jl"
 uuid = "03b72c93-0167-51e2-8a1e-eb4ff1fb940d"
 version = "0.2.0"