agdaPackages.agda-prelude: add updateScript and follow version conven… (#485469)

2026-01-30 21:32:17 +00:00
parent ca9b68fa77 324d195811
commit 016e48a7c3
1 changed files with 4 additions and 1 deletions
@@ -2,10 +2,11 @@
  lib,
  mkDerivation,
  fetchFromGitHub,
+  unstableGitUpdater,
 }:

 mkDerivation {
-  version = "unstable-2024-08-22";
+  version = "0-unstable-2024-08-22";
  pname = "agda-prelude";

  src = fetchFromGitHub {
@@ -15,6 +16,8 @@ mkDerivation {
    hash = "sha256-ab+KojzRbkUTAFNH5OA78s0F5SUuXTbliai6badveg4=";
  };

+  passthru.updateScript = unstableGitUpdater { };
+
  meta = {
    homepage = "https://github.com/UlfNorell/agda-prelude";
    description = "Programming library for Agda";