Merge pull request #886 from input-output-hk/erikd/cabal

Remove un-needed source dependency
IntersectMBO · Oct 13, 2021 · cb11874 · cb11874
2 parents 6ffa068 + 71c6eac
commit cb11874
Showing 1 changed file with 0 additions and 7 deletions.
diff --git a/cabal.project b/cabal.project
@@ -76,13 +76,6 @@ allow-newer:
 -- --------------------------- 8< --------------------------
 -- Please do not put any `source-repository-package` clause above this line.
 
--- Using a fork until our patches can be merged upstream
-source-repository-package
-  type: git
-  location: https://github.com/input-output-hk/criterion
-  tag: fb2e7be532db96255d203f86360230cae37130f3
-  --sha256: 14r9zkfa8zslky3969gaq27gi7yi9rlqv0h1iq7zam9l15z53vhr
-
 -- Using a fork until our patches can be merged upstream
 source-repository-package
   type: git