Version updates for coqide (cask).https://pkgstory.dev/https://pkgstory.dev/homebrew-cask/coqide/#8.13.1https://pkgstory.dev/homebrew-cask/coqide/#8.13.1coqide updated to 8.13.1Wed, 24 Feb 2021 11:24:16 GMThttps://pkgstory.dev/homebrew-cask/coqide/#8.13.0https://pkgstory.dev/homebrew-cask/coqide/#8.13.0coqide updated to 8.13.0Fri, 08 Jan 2021 11:05:36 GMThttps://pkgstory.dev/homebrew-cask/coqide/#8.12.2https://pkgstory.dev/homebrew-cask/coqide/#8.12.2coqide updated to 8.12.2Fri, 11 Dec 2020 17:04:11 GMThttps://pkgstory.dev/homebrew-cask/coqide/#8.12.1https://pkgstory.dev/homebrew-cask/coqide/#8.12.1coqide updated to 8.12.1Tue, 08 Dec 2020 18:35:29 GMThttps://pkgstory.dev/homebrew-cask/coqide/#8.12.0https://pkgstory.dev/homebrew-cask/coqide/#8.12.0coqide updated to 8.12.0Tue, 28 Jul 2020 21:33:53 GMThttps://pkgstory.dev/homebrew-cask/coqide/#8.11.2https://pkgstory.dev/homebrew-cask/coqide/#8.11.2coqide updated to 8.11.2Mon, 27 Jul 2020 09:20:58 GMT