diff --git a/Casks/coqide.rb b/Casks/coqide.rb
index 7be9dfd770d..166a56a08ff 100644
--- a/Casks/coqide.rb
+++ b/Casks/coqide.rb
@@ -1,6 +1,6 @@
 cask "coqide" do
-  version "8.11.2"
-  sha256 "18c09fbafaa2731bb7f6cff0b8e821b57cf6857d1bd1609055d0784d445c6d53"
+  version "8.12.0"
+  sha256 "be5bf7b8009e0693f5da35437a901c58a924c12c9464c5be3ff1ed3ebe495697"
 
   # github.com/coq/coq/ was verified as official when first introduced to the cask
   url "https://github.com/coq/coq/releases/download/V#{version.major_minor_patch}/coq-#{version}-installer-macos.dmg"