[emacs][wip] fix proof general

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

diff --git a/straight/versions/default.el b/straight/versions/default.el
index 33d04d1..74548a0 100644 (file)
--- a/straight/versions/default.el
+++ b/straight/versions/default.el
@@ -1,15 +1,27 @@
 (("PG" . "f7cc8f1f76baf5e517e51f1db47510ed605064e8")
+ ("all-the-icons.el" . "52d1f2d36468146c93aaf11399f581401a233306")
  ("alloy-mode" . "0d05bdd10c77ec04c3d61eccf67e68c08284951f")
  ("auto-compile" . "6ce4255ab9a0b010ef8414c5bd9a6d6d9eea012f")
+ ("boxquote.el" . "7e47e0e2853bc1215739b2e28f260e9eed93b2c5")
  ("cl-lib" . "deb92588d9d83d46c4698936ea31c5f58d244f04")
+ ("company-ebdb" . "3b463fe1236ac6445657f3a1df20357a7a2fa8f6")
  ("company-mode" . "b696b3943d2a55aed937cb0ba971d6e29b2e3a8b")
+ ("crux" . "308f17d914e2cd79cbc809de66d02b03ceb82859")
  ("dante" . "8d5e00d268aa37d91baaa675cead953e58f19c6d")
  ("dash.el" . "6514359b8606a6a9a94068ccd601fcd6379d6584")
  ("diff-hl" . "2cddce48d472111f178da84d44656f92012aa64b")
+ ("ebdb" . "51733ece51fcae699e977703d61f2f2ebaea70b1")
+ ("elisp-refs" . "a8900dab9f8e2925ce5dea0f97bdac4ce47714d9")
  ("emacs-async" . "81dc034572e963550c5403a2b3c28047e46b4029")
+ ("emacs-doom-themes" . "2f4a0cdf287a086d45a1d9e8536ace6a2e152318")
+ ("emacs-memoize" . "9a561268ffb550b257a08710489a95cd087998b6")
+ ("emacs-which-key" . "43e3e3d7641a8e1c298b37e6a277612bf0898708")
+ ("emmet-mode" . "1acb821e0142136344ccf40c1e5fb664d7db2e70")
  ("epkgs" . "3e2b3cbada81bdb5e9b3f4bf185c7258f656b021")
  ("epl" . "78ab7a85c08222cd15582a298a364774e3282ce6")
+ ("eshell-up" . "9c100bae5c3020e8d9307e4332d3b64e7dc28519")
  ("exec-path-from-shell" . "9bc0f4a762f16d488376fb52409c58239a86d75d")
+ ("expand-region.el" . "ed3292473035dc8f3d2f321e82974ef87327808f")
  ("f.el" . "de6d4d40ddc844eee643e92d47b9d6a63fbebb48")
  ("flycheck" . "baf96df4d1c3e61bf62f15fbea05a880d1e49e45")
  ("flycheck-haskell" . "32ddff87165a7d3a35e7318bee997b5b4bd41278")
@@ -18,22 +30,40 @@
  ("gnu-elpa-mirror" . "db6dd0677f0adac536ec6c575865770aa902c0a1")
  ("graphql.el" . "e2b309689f4faf9225f290080f836e988c5a576d")
  ("haskell-mode" . "4aa88752ab23bca3ded36a9c9fd9c34cffbb129b")
+ ("helpful" . "039345ef60b4722d050c94ab1978540137df35f9")
+ ("hl-todo" . "24b9925b1b2c7ad6bf7b66800395f74abf035c5f")
  ("hlint-refactor-mode" . "92c69aa01c65968e86c15db087bb1ea785e4736c")
  ("lcr" . "c14f40692292d59156c7632dbdd2867c086aa75f")
  ("lean-mode" . "9d6b8471e2044310b4cd7cd3213b1fc8f78ec499")
  ("let-alist" . "4a7693b678c59a148660c736cc0bb26a5032ee9a")
+ ("loop.el" . "e22807f83a0890dc8a904c51ee0742c34efccc6c")
  ("magit" . "d866fb3624bdeb87f0c56e359239e4474362d0af")
  ("magit-popup" . "8eaa0becc2370484a432a8a19f40ce5e8d0f1642")
  ("melpa" . "5487adde3bbb1bfd875c51932c63ceef541d6b6f")
+ ("multi-term" . "f954e4e18b0a035151d34852387e724d87a3316f")
+ ("multiple-cursors.el" . "6a7c3c0853e3fe9e4b8e5985dbed8fd4075f33ff")
+ ("mwim.el" . "b4f3edb4c0fb8f8b71cecbf8095c2c25a8ffbf85")
  ("no-littering" . "4e7ecf017140bc522629cd2c977160f7cc2b8020")
  ("org" . "495c7c6a5774a4d3035c582a3b4c95eb04e83dd5")
+ ("orgalist" . "f70a65da3a9bf3d0c1a9c769b77821d2a79c42cb")
+ ("ox-hugo" . "00186ff8d7ae13fab6707b0e2e7665e055db558f")
  ("packed" . "c41c3dfda86ae33832ffc146923e2a4675cbacfa")
+ ("page-break-lines" . "87e801efb816b24e83ebf84c052001e178e180bc")
  ("pkg-info.el" . "76ba7415480687d05a4353b27fea2ae02b8d9d61")
+ ("projectile" . "d625ecb09e3a9fb319740686402197bdf6fc109b")
+ ("rich-minority" . "a50d9b2fd059f6a0e5b22063a5375851a087f61a")
  ("s.el" . "03410e6a7a2b11e47e1fea3b7d9899c7df26435e")
  ("seq" . "095fb15a3baa082079799dd36b6caccdb062cb90")
+ ("shrink-path.el" . "9d06c453d1537df46a4b703a29213cc7f7857aa0")
+ ("shut-up" . "081d6b01e3ba0e60326558e545c4019219e046ce")
+ ("smart-mode-line" . "b79f4fa5f2380b0d726a895dd7199e5483004490")
+ ("smex" . "55aaebe3d793c2c990b39a302eb26c184281c42c")
  ("straight.el" . "13d019dfc72e69cce58b510766e197b044ea823b")
  ("swiper" . "201c5d78c4985fb803eb681cca0ccc5a4f90b717")
  ("treepy.el" . "b40e6b09eb9be45da67b8c9e4990a5a0d7a2a09d")
+ ("typoel" . "9dad93b6f367f02f52c8d9bf15d446d922cec294")
+ ("unkillable-scratch" . "d805ee0570c218559cd972788c2d7f77704282b9")
  ("use-package" . "39a8b8812c2c9f6f0b299e6a04e504ef393694ce")
+ ("web-mode" . "5da977bec7714c09d41b556e2d651ccb269a14a2")
  ("with-editor" . "9dd9f176d96abc60365369de6d08c26c414ef1f3"))
 :saturn