HOTFIX added decision-diagrams to ghc-9.2.3 setup (#3183)

* HOTFIX added decision-diagrams to ghc-9.2.3 setup

Also aligned the order of dependencies in
`kore-ghc8107.nix.d/default.nix` and `kore-ghc923.nix.d/default.nix`
to make comparisons easier.

* Materialize Nix expressions

* added decision-diagrams to stack-nix-ghc9.yaml and re-materialized

Co-authored-by: github-actions <github-actions@github.com>
Co-authored-by: Sam Balco <goodlyrottenapple@gmail.com>
Co-authored-by: rv-jenkins <admin@runtimeverification.com>

Author: 4 people

nix/kore-ghc923.nix.d/default.nix

@@ -3,6 +3,8 @@
     packages = {
       "ghc-trace-events" =
         (((hackage.ghc-trace-events)."0.1.2.1").revisions).default;
+      "decision-diagrams" =
+        (((hackage.decision-diagrams)."0.2.0.0").revisions).default;
       "monoidal-containers" =
         (((hackage.monoidal-containers)."0.6.0.1").revisions).default;
       "newtype" = (((hackage.newtype)."0.2.2.0").revisions).default;

stack-nix-ghc9.yaml

@@ -7,6 +7,7 @@ packages:
   - kore
 extra-deps:
   - ghc-trace-events-0.1.2.1
+  - decision-diagrams-0.2.0.0
   - monoidal-containers-0.6.0.1
   - newtype-0.2.2.0
   - sqlite-simple-0.4.18.0