From def9fc94ff5b1861739d7cf70ac8e69527569298 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Sat, 27 Sep 2025 13:36:45 +0200
Subject: Use released djot 0.1.2.3.

---
 stack.yaml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'stack.yaml')

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