diff options
| author | Lucie <135951230+lweqx@users.noreply.github.com> | 2025-05-14 16:35:01 +0200 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2025-05-16 18:34:47 +0200 |
| commit | b965e4c283060415956ccd39eee4ca34a6a56cf8 (patch) | |
| tree | cb1a24685850b40fb72d859ade10e4aa54054a1f | |
| parent | 74822229d78eed92abafe70c619617d1fc5c607a (diff) | |
rocqPackages.rocq-elpi: 2.5.1 -> 2.5.2
| -rw-r--r-- | pkgs/development/rocq-modules/rocq-elpi/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/development/rocq-modules/rocq-elpi/default.nix b/pkgs/development/rocq-modules/rocq-elpi/default.nix index a4c97316664a..38415e85db37 100644 --- a/pkgs/development/rocq-modules/rocq-elpi/default.nix +++ b/pkgs/development/rocq-modules/rocq-elpi/default.nix @@ -31,10 +31,10 @@ let defaultVersion = lib.switch rocq-core.rocq-version [ { case = "9.0"; - out = "2.5.1"; + out = "2.5.2"; } ] null; - release."2.5.1".sha256 = "sha256-vw18iPPoI44tM8C05Wj4YvFAi1jjfyjZ90dbxX4NgQM="; + release."2.5.2".sha256 = "sha256-lLzjPrbVB3rrqox528YiheUb0u89R84Xmrgkn0oplOs="; releaseRev = v: "v${v}"; mlPlugin = true; |