Deploying to web from @ 34d7a84 🚀

plfa · Oct 10, 2024 · fb01618 · fb01618
1 parent bb13f4c
commit fb01618
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>Thu, 10 Oct 2024 00:21:26 +0000</lastBuildDate>
+    <lastBuildDate>Thu, 10 Oct 2024 20:38:37 +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>