Remove snippets warning in coq

[rbdr/dotfiles] / provisioning / pacman_essential

diff --git a/provisioning/pacman_essential b/provisioning/pacman_essential
index e7fe94291cabde2996fe07ff008945696c5bb091..e4916a17257db6be92af61010102085effecea09 100644 (file)
--- a/provisioning/pacman_essential
+++ b/provisioning/pacman_essential
@@ -5,7 +5,7 @@ bemenu
 bat
 curl
 fd
-exa
+eza
 fzf
 gnupg
 htop