From 94b8ef85893305f4dfd7968ef86e84a73384e56f Mon Sep 17 00:00:00 2001
From: Rachel Lambda Samuelsson <depsterr@protonmail.com>
Date: Wed, 20 Nov 2024 20:41:49 +0100
Subject: [PATCH] fix name

---
 Gemfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Gemfile b/Gemfile
index 4940ea9..2c93455 100644
--- a/Gemfile
+++ b/Gemfile
@@ -5,4 +5,4 @@ source "https://rubygems.org"
 gem "jekyll-feed"
 gem "jekyll-katex"
 gem "jekyll-minifier"
-gem "jekyll/agda"
+gem "jekyll-agda"