Merge pull request #42 from mohamed-barakat/NoBinaryProvider

deleted obsolete BinaryProvider from list of dependancies

Author: mohamed-barakat

Project.toml

@@ -4,7 +4,6 @@ authors = ["Mohamed Barakat <[email protected]>"]
 version = "0.4.9"
 
 [deps]
-BinaryProvider = "b99e7846-7c00-51b0-8f62-c81ae34c0232"
 GAP = "c863536a-3901-11e9-33e7-d5cd0df7b904"
 Singular = "bcd08a7b-43d2-5ff7-b6d4-c458787f915c"
 lib4ti2_jll = "1493ae25-0f90-5c0e-a06c-8c5077d6d66f"
@@ -13,7 +12,6 @@ Pkg = "44cfe95a-1eb2-52ea-b672-e2afdf69b78f"
 Markdown = "d6f4376e-aef5-505a-96c1-9c027394607a"
 
 [compat]
-BinaryProvider = "^0.5"
 GAP = "^0"
 Singular = "^0"
 julia = "1.3"