From 3cf8c5f7161a63341f70a26a0f47894dca49dc83 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Fri, 19 Sep 2025 10:15:24 +0200
Subject: Use dev version of djoths.

---
 stack.yaml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'stack.yaml')

diff --git a/stack.yaml b/stack.yaml
index ef39bfad3..51548e448 100644
--- a/stack.yaml
+++ b/stack.yaml
@@ -17,6 +17,8 @@ extra-deps:
 - skylighting-0.14.7
 - citeproc-0.10
 - texmath-0.13
+- git: https://github.com/jgm/djoths.git
+  commit: f022191efa477ab23f1c86a528ada69bbf03744b
 ghc-options:
    "$locals": -fhide-source-paths -Wno-missing-home-modules
 resolver: lts-24.9
-- 
cgit v1.2.3