From 9e60af1f848139b18f4f7dbb6f31d1701b4894f7 Mon Sep 17 00:00:00 2001
From: Franziskus Kiefer <franziskuskiefer@gmail.com>
Date: Mon, 29 Jul 2024 07:51:17 +0200
Subject: [PATCH] rebuilding site Mon Jul 29 07:51:17 CEST 2024

---
 post/fmcp/index.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/post/fmcp/index.html b/post/fmcp/index.html
index 280b7dc..eb7c9da 100644
--- a/post/fmcp/index.html
+++ b/post/fmcp/index.html
@@ -285,7 +285,7 @@ <h2 class="display-1 fw-bold text-center text-primary pb-3">Cryspen @ FMCP 2024<
 <p>There were many interesting talks and discussions, and the group came
 up with several concrete next steps towards the eventual goal of
 integrating formal methods more closely with certification.</p>
-<p>The slides for our talk are available <a href="./Formal-Specifications-for-Certifiable-Cryptography-FMCP-2024.pdf">here</a></p>
+<p>The slides for our talk are available <a href="./Formal-Specifications-for-Certifiable-Cryptography-FMCP-2024.pdf">here</a>.</p>
 <p>If you have any questions about hacspec, hax, and how they can help you to improve the quality of your own software products or
 the cryptographic libraries you depend upon, drop us an email.</p>
 <a class="btn btn-outline-primary px-4" href="mailto:info@cryspen.com">Get in touch</a>