From b4ff9b540c2fc348075a6b0b57030e02740e121b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Na=C3=AFm=20Camille=20Favier?= <n@monade.li>
Date: Sun, 3 Aug 2025 10:37:26 +0200
Subject: [PATCH 1/2] agdaPackages.cubical: 0.8 -> 0.9

https://github.com/agda/cubical/releases/tag/v0.9
---
 pkgs/development/libraries/agda/cubical/default.nix | 10 ++--------
 1 file changed, 2 insertions(+), 8 deletions(-)

diff --git a/pkgs/development/libraries/agda/cubical/default.nix b/pkgs/development/libraries/agda/cubical/default.nix
index 72bb3c3a501d..2e08044738ae 100644
--- a/pkgs/development/libraries/agda/cubical/default.nix
+++ b/pkgs/development/libraries/agda/cubical/default.nix
@@ -6,21 +6,15 @@
 
 mkDerivation rec {
   pname = "cubical";
-  version = "0.8";
+  version = "0.9";
 
   src = fetchFromGitHub {
     repo = pname;
     owner = "agda";
     rev = "v${version}";
-    hash = "sha256-KwwN2g2naEo4/rKTz2L/0Guh5LxymEYP53XQzJ6eMjM=";
+    hash = "sha256-Lmzofq2rKFmfsAoH3zIFB2QLeUhFmIO44JsF+dDrubw=";
   };
 
-  postPatch = ''
-    # This imports the Everything files, which we don't generate.
-    # TODO: remove for the next release
-    rm -rf Cubical/README.agda Cubical/Talks/EPA2020.agda
-  '';
-
   meta = with lib; {
     description = "A cubical type theory library for use with the Agda compiler";
     homepage = src.meta.homepage;

From 3da91e9f0ae36393365f5aa9fb4a9f2eddb83299 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Na=C3=AFm=20Camille=20Favier?= <n@monade.li>
Date: Sat, 2 Aug 2025 14:24:45 +0200
Subject: [PATCH 2/2] agdaPackages.standard-library: 2.2-unstable-2025-07-03 ->
 2.3

https://github.com/agda/agda-stdlib/blob/v2.3/CHANGELOG.md
---
 .../development/libraries/agda/standard-library/default.nix | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/pkgs/development/libraries/agda/standard-library/default.nix b/pkgs/development/libraries/agda/standard-library/default.nix
index 976d84157836..811f5a63c765 100644
--- a/pkgs/development/libraries/agda/standard-library/default.nix
+++ b/pkgs/development/libraries/agda/standard-library/default.nix
@@ -7,13 +7,13 @@
 
 mkDerivation rec {
   pname = "standard-library";
-  version = "2.2-unstable-2025-07-03";
+  version = "2.3";
 
   src = fetchFromGitHub {
     repo = "agda-stdlib";
     owner = "agda";
-    rev = "6f8af9452e7fac27bc3b3ad068793b538f07668e";
-    hash = "sha256-LD6KasmQ9ZHRNQJ0N4wjyc6JiSkZpmyqQq9B0Wta1n0=";
+    rev = "v${version}";
+    hash = "sha256-JOeoek6OfyIk9vwTj5QUJU6LnRzwfiG0e0ysW6zbhZ8=";
   };
 
   passthru.tests = { inherit (nixosTests) agda; };