Reference no longer used

Author: yveshauser

cabal.project

@@ -60,14 +60,6 @@ source-repository-package
     subdir:
       pango
 
-source-repository-package
-    type: git
-    location: https://github.com/input-output-hk/ouroboros-leios-formal-spec.git
-    tag: 026256f141acfef7f3d7b2d048d571223bbee30d
-    --sha256: WFEmGcnCdEXmo2MCC5g+C3laGjFaBnFksgHbFeAZUQo=
-    subdir:
-      generated
-
 -- Update this when the following PR is merged: https://github.com/well-typed/cborg/pull/345
 source-repository-package
     type: git