ocamlPackages.psmt2-frontend: migrate to finalAttrs

2026-01-22 12:09:09 -06:00
parent f85052e2d0
commit a543758b97
1 changed files with 5 additions and 5 deletions
@@ -5,14 +5,14 @@
  menhir,
 }:

-buildDunePackage rec {
+buildDunePackage (finalAttrs: {
  version = "0.4.0";
  pname = "psmt2-frontend";

  src = fetchFromGitHub {
    owner = "ACoquereau";
-    repo = pname;
-    rev = version;
+    repo = "psmt2-frontend";
+    rev = finalAttrs.version;
    hash = "sha256-cYY9x7QZjH7pdJyHMqfMXgHZ3/zJLp/6ntY6OSIo6Vs=";
  };

@@ -24,7 +24,7 @@ buildDunePackage rec {
    description = "Simple parser and type-checker for polomorphic extension of the SMT-LIB 2 language";
    license = lib.licenses.asl20;
    maintainers = [ lib.maintainers.vbgl ];
-    inherit (src.meta) homepage;
+    inherit (finalAttrs.src.meta) homepage;
  };

-}
+})