Refer to formal-spec in external repo

Author: yveshauser

cabal.project

@@ -14,9 +14,9 @@ index-state:
   , hackage.haskell.org 2024-10-04T11:45:34Z
   , cardano-haskell-packages 2024-10-04T09:54:45Z
 
-packages: 
+packages:
   simulation
-  -- leios-conformance
+  leios-conformance
 
 tests: True
 
@@ -58,3 +58,11 @@ source-repository-package
     --sha256: IXuR7ZdTltFT4IQQMdBbDE6ikVsoWVON57THdarUsDw=
     subdir:
       pango
+
+source-repository-package
+    type: git
+    location: https://github.com/yveshauser/leios-formal-spec.git
+    tag: 094dc4d8c7138fa8910a3c55d25c2dad4720272d
+    --sha256: xXrnOYNAGpMJWoIs0+XDgmpHZ7nx0bhbBhhufUNl9lI=
+    subdir:
+      generated

leios-conformance/leios-conformance.cabal

@@ -30,7 +30,7 @@ library
     , bytestring
     , containers
     , data-default
-   -- , leios-spec
+    , leios-spec
     , mtl
     , pretty
     , QuickCheck

nix/project.nix

@@ -9,7 +9,7 @@ let
       isCross = pkgs.stdenv.hostPlatform != pkgs.stdenv.buildPlatform;
     in
     {
-      src = ../leios-conformance;
+      src = ../.;
       shell.withHoogle = false;
       inputMap = {
         "https://chap.intersectmbo.org/" = inputs.iogx.inputs.CHaP;