Deploying to web from @ 2456d65 🚀

plfa · Jun 18, 2024 · e6a3de0 · e6a3de0
1 parent 0163c9c
commit e6a3de0
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>Tue, 18 Jun 2024 12:43:15 +0000</lastBuildDate>
+    <lastBuildDate>Tue, 18 Jun 2024 13:00:38 +0000</lastBuildDate>
         <item>
       <title>Migration to Agda 2.6.3</title>
       <link>https://plfa.github.io//2023/02/26/migration-to-agda-2-6-3/index.html</link>