WIP

coq · Aug 12, 2024 · dad5926 · dad5926
1 parent 05cb0eb
commit dad5926
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.nix/config.nix b/.nix/config.nix
@@ -140,14 +140,14 @@ with builtins; with (import <nixpkgs> {}).lib;
       "coq-elpi-test" # -> overlay
       "hierarchy-builder"
       "hierarchy-builder-test"
-      "engine bench" # -> overlay
+      "engine-bench" # -> overlay
       # TODO fcsl_pcm -> wait for MC 2 port
       "coq-ext-lib" # -> overlay
       "simple-io" # -> overlay
       "QuickChick" # -> overlay
       "quickchick-test" # -> overlay
       "menhir"
-      "neural-net-coq-interp" # -> overlay
+      "neural-net-coq-interp"
       "aac-tactics" # -> overlay
       "paco"
       "ITree" # -> overlay
@@ -236,7 +236,7 @@ with builtins; with (import <nixpkgs> {}).lib;
       # bbv.override.version = "proux01:split_stdlib";
       # paramcoq-test.override.version = "split_stdlib";
       # json.override.version = "proux01:split_stdlib";
-      # neural-net-coq-interp.override.version = "proux01:split_stdlib";
+      # neural-net-coq-interp.override.version = "proux01:split_stdlib";  # free overlay
       # engine-bench.override.version = "proux01:split_stdlib";
       # coq-performance-tests.override.version = "proux01:split_stdlib";
       # coq-tools.override.version = "proux01:split_stdlib";