From 03c3fe1875be4c872d9e6be80acfa496e92d7016 Mon Sep 17 00:00:00 2001
From: jamesmckinna <j.mckinna@hw.ac.uk>
Date: Fri, 20 Oct 2023 10:01:22 +0100
Subject: [PATCH] fixed typo

---
 README.agda | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.agda b/README.agda
index ced0f11596..cc436d0848 100644
--- a/README.agda
+++ b/README.agda
@@ -19,7 +19,7 @@ module README where
 -- and other anonymous contributors.
 ------------------------------------------------------------------------
 
--- This version of the library has been tested using Agda 2.6.3.
+-- This version of the library has been tested using Agda 2.6.4.
 
 -- The library comes with a .agda-lib file, for use with the library
 -- management system.