Deploying to web from @ 3f9c148 🚀

plfa · Oct 10, 2024 · bb13f4c · bb13f4c
1 parent 2a0e9ff
commit bb13f4c
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/plfa.epub b/plfa.epub
diff --git a/rss.xml b/rss.xml
@@ -8,7 +8,7 @@
     </description>
     <language>en</language>
     <atom:link href="https://plfa.github.io//rss.xml" rel="self" type="application/rss+xml" />
-    <lastBuildDate>Wed, 02 Oct 2024 18:12:25 +0000</lastBuildDate>
+    <lastBuildDate>Thu, 10 Oct 2024 00:21:26 +0000</lastBuildDate>
         <item>
       <title>Migration to Agda 2.7.0</title>
       <link>https://plfa.github.io//2024/09/05/migration-to-agda-2-7-0/index.html</link>