summaryrefslogtreecommitdiff
path: root/cabal.project
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2024-02-14 23:31:01 -0800
committerJohn MacFarlane <jgm@berkeley.edu>2024-02-14 23:31:01 -0800
commit307fc065aaf6aba84ab9d8222ce071cf0a46f6e6 (patch)
tree9de71f37beb66e51d0aeed12fa494c8f7eb2c36e /cabal.project
parente9425aaed700553b35aab9842ed03636a487640b (diff)
Depend on released version of djot.
Diffstat (limited to 'cabal.project')
-rw-r--r--cabal.project4
1 files changed, 0 insertions, 4 deletions
diff --git a/cabal.project b/cabal.project
index 7ca74bd5b..8db3d5a47 100644
--- a/cabal.project
+++ b/cabal.project
@@ -7,7 +7,3 @@ flags: +embed_data_files
constraints: skylighting-format-blaze-html >= 0.1.1.1,
skylighting-format-context >= 0.1.0.2
-source-repository-package
- type: git
- location: https://github.com/jgm/djoths
- tag: 3d53e40442d22726430b6a89bfb7fba92cd99a91