[emacs][wip] fix proof general

[~bandali/configs] / straight / versions / default.el

diff --git a/straight/versions/default.el b/straight/versions/default.el
index 224dd6e..74548a0 100644 (file)
--- a/straight/versions/default.el
+++ b/straight/versions/default.el
@@ -46,6 +46,7 @@
  ("no-littering" . "4e7ecf017140bc522629cd2c977160f7cc2b8020")
  ("org" . "495c7c6a5774a4d3035c582a3b4c95eb04e83dd5")
  ("orgalist" . "f70a65da3a9bf3d0c1a9c769b77821d2a79c42cb")
+ ("ox-hugo" . "00186ff8d7ae13fab6707b0e2e7665e055db558f")
  ("packed" . "c41c3dfda86ae33832ffc146923e2a4675cbacfa")
  ("page-break-lines" . "87e801efb816b24e83ebf84c052001e178e180bc")
  ("pkg-info.el" . "76ba7415480687d05a4353b27fea2ae02b8d9d61")