f

Julow · Oct 1, 2024 · 2e80ded · 2e80ded
1 parent 8b768c9
commit 2e80ded
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/odoc-driver.opam b/odoc-driver.opam
@@ -44,7 +44,7 @@ depends: [
   "eio_main"
   "progress"
   "cmdliner"
-  "sherlodoc"
+  "sherlodoc" {post}
 ]
 
 build: [