diff --git a/plfa.epub b/plfa.epub
index a96b89e22..f5cbc60d1 100644
Binary files a/plfa.epub and b/plfa.epub differ
diff --git a/rss.xml b/rss.xml
index 9fa19388c..496d3e2e0 100644
--- a/rss.xml
+++ b/rss.xml
@@ -8,7 +8,7 @@
en
- Mon, 25 Sep 2023 21:05:23 +0000
+ Mon, 25 Sep 2023 22:25:02 +0000
-
Migration to Agda 2.6.3
https://plfa.github.io//2023/02/26/migration-to-agda-2-6-3/index.html