From 8241082f3ff577de2083a93f35b90aac28ef2921 Mon Sep 17 00:00:00 2001
From: Leon Vatthauer <leon.vatthauer@fau.de>
Date: Mon, 29 Jan 2024 15:42:18 +0100
Subject: [PATCH] updated agda-cat

---
 agda/shell.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/agda/shell.nix b/agda/shell.nix
index ecb3698..7bc9316 100644
--- a/agda/shell.nix
+++ b/agda/shell.nix
@@ -17,7 +17,7 @@ mkShell {
         src = fetchFromGitHub {
           repo = "agda-categories";
           owner = "agda";
-          rev = "v0.2.0";
+          rev = "a1c797e935432702d25fd729802aeb155b423761";
           hash = "sha256-pGwR5nPDlBwL4NbFBAZr8ZtR66qdqTm+Cd3OePjbTys=";
         };