agdaPackages.cubical: 0.4prec3e097a -> 0.4

[phijor]

Checklist

• Checked the nixpkgs master branch
• Checked the nixpkgs pull requests

Project name

nix search name: N/A (are Agda packages not indexed?)
package name: agdaPackages.cubical
current version: 0.4prec3e097a
desired version: 0.4

Notify maintainers

maintainers: @ryanorendorff @iblech @alexarice

Note for maintainers

Please tag this issue in your PR.

I think the patch below should be all that's needed to update:

From 169f80653a0195e9a41b5dd8d5d221596907b0d2 Mon Sep 17 00:00:00 2001
From: Philipp Joram <mail@phijor.me>
Date: Thu, 1 Dec 2022 12:23:56 +0200
Subject: [PATCH] agdaPackages.cubical: 0.4prec3e097a -> 0.4

---
 pkgs/development/libraries/agda/cubical/default.nix | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/pkgs/development/libraries/agda/cubical/default.nix b/pkgs/development/libraries/agda/cubical/default.nix
index 4cbbf530509..ec1c085e9b1 100644
--- a/pkgs/development/libraries/agda/cubical/default.nix
+++ b/pkgs/development/libraries/agda/cubical/default.nix
@@ -2,13 +2,13 @@
 
 mkDerivation rec {
   pname = "cubical";
-  version = "0.4prec3e097a";
+  version = "0.4";
 
   src = fetchFromGitHub {
     repo = pname;
     owner = "agda";
-    rev = "c3e097a98c84083550fa31101346bd42a0501add";
-    sha256 = "101cni2a9xvia1mglb94z61jm8xk9r5kc1sn44cri0qsmk1zbqxs";
+    rev = "v${version}";
+    sha256 = "sha256-bnHz5uZXZnn1Zd36tq/veA4yT7dhJ1c+AYpgdDfSRzE=";
   };
 
   LC_ALL = "en_US.UTF-8";
-- 
2.38.1