Version updates for coq (formula).https://pkgstory.dev/https://pkgstory.dev/homebrew-formula/coq/#8.20.1https://pkgstory.dev/homebrew-formula/coq/#8.20.1coq updated to 8.20.1Thu, 16 Jan 2025 16:53:01 GMThttps://pkgstory.dev/homebrew-formula/coq/#8.20.0https://pkgstory.dev/homebrew-formula/coq/#8.20.0coq updated to 8.20.0Wed, 04 Sep 2024 12:31:04 GMThttps://pkgstory.dev/homebrew-formula/coq/#8.19.2https://pkgstory.dev/homebrew-formula/coq/#8.19.2coq updated to 8.19.2Mon, 10 Jun 2024 12:29:05 GMThttps://pkgstory.dev/homebrew-formula/coq/#8.19.1_1https://pkgstory.dev/homebrew-formula/coq/#8.19.1_1coq updated to 8.19.1_1Sun, 26 May 2024 00:27:34 GMThttps://pkgstory.dev/homebrew-formula/coq/#8.19.1https://pkgstory.dev/homebrew-formula/coq/#8.19.1coq updated to 8.19.1Sat, 16 Mar 2024 19:42:44 GMThttps://pkgstory.dev/homebrew-formula/coq/#8.19.0https://pkgstory.dev/homebrew-formula/coq/#8.19.0coq updated to 8.19.0Tue, 20 Feb 2024 21:18:07 GMThttps://pkgstory.dev/homebrew-formula/coq/#8.19.0_1https://pkgstory.dev/homebrew-formula/coq/#8.19.0_1coq updated to 8.19.0_1Sun, 24 Dec 2023 07:36:31 GMThttps://pkgstory.dev/homebrew-formula/coq/#8.18.0https://pkgstory.dev/homebrew-formula/coq/#8.18.0coq updated to 8.18.0Tue, 05 Dec 2023 21:14:28 GMThttps://pkgstory.dev/homebrew-formula/coq/#8.17.1https://pkgstory.dev/homebrew-formula/coq/#8.17.1coq updated to 8.17.1Tue, 27 Jun 2023 16:36:37 GMThttps://pkgstory.dev/homebrew-formula/coq/#8.17.0_1https://pkgstory.dev/homebrew-formula/coq/#8.17.0_1coq updated to 8.17.0_1Wed, 19 Apr 2023 03:43:19 GMThttps://pkgstory.dev/homebrew-formula/coq/#8.17.0https://pkgstory.dev/homebrew-formula/coq/#8.17.0coq updated to 8.17.0Sat, 15 Apr 2023 15:29:11 GMThttps://pkgstory.dev/homebrew-formula/coq/#8.16.1_1https://pkgstory.dev/homebrew-formula/coq/#8.16.1_1coq updated to 8.16.1_1Mon, 27 Mar 2023 08:41:08 GMThttps://pkgstory.dev/homebrew-formula/coq/#8.16.1https://pkgstory.dev/homebrew-formula/coq/#8.16.1coq updated to 8.16.1Fri, 25 Nov 2022 13:24:38 GMThttps://pkgstory.dev/homebrew-formula/coq/#8.16.0https://pkgstory.dev/homebrew-formula/coq/#8.16.0coq updated to 8.16.0Wed, 21 Sep 2022 12:35:11 GMThttps://pkgstory.dev/homebrew-formula/coq/#8.15.2https://pkgstory.dev/homebrew-formula/coq/#8.15.2coq updated to 8.15.2Thu, 30 Jun 2022 17:16:21 GMThttps://pkgstory.dev/homebrew-formula/coq/#8.15.0https://pkgstory.dev/homebrew-formula/coq/#8.15.0coq updated to 8.15.0Thu, 13 Jan 2022 16:29:25 GMThttps://pkgstory.dev/homebrew-formula/coq/#8.14.1https://pkgstory.dev/homebrew-formula/coq/#8.14.1coq updated to 8.14.1Tue, 23 Nov 2021 18:13:04 GMThttps://pkgstory.dev/homebrew-formula/coq/#8.14.0https://pkgstory.dev/homebrew-formula/coq/#8.14.0coq updated to 8.14.0Thu, 14 Oct 2021 13:05:43 GMThttps://pkgstory.dev/homebrew-formula/coq/#8.13.2https://pkgstory.dev/homebrew-formula/coq/#8.13.2coq updated to 8.13.2Thu, 01 Apr 2021 15:07:43 GMThttps://pkgstory.dev/homebrew-formula/coq/#8.13.1https://pkgstory.dev/homebrew-formula/coq/#8.13.1coq updated to 8.13.1Mon, 22 Feb 2021 16:42:33 GMThttps://pkgstory.dev/homebrew-formula/coq/#8.13.0https://pkgstory.dev/homebrew-formula/coq/#8.13.0coq updated to 8.13.0Thu, 07 Jan 2021 14:32:13 GMThttps://pkgstory.dev/homebrew-formula/coq/#8.12.2https://pkgstory.dev/homebrew-formula/coq/#8.12.2coq updated to 8.12.2Fri, 11 Dec 2020 12:30:35 GMThttps://pkgstory.dev/homebrew-formula/coq/#8.12.1https://pkgstory.dev/homebrew-formula/coq/#8.12.1coq updated to 8.12.1Fri, 13 Nov 2020 17:41:02 GMThttps://pkgstory.dev/homebrew-formula/coq/#8.12.0https://pkgstory.dev/homebrew-formula/coq/#8.12.0coq updated to 8.12.0Sat, 25 Jul 2020 05:06:04 GMThttps://pkgstory.dev/homebrew-formula/coq/#8.11.2https://pkgstory.dev/homebrew-formula/coq/#8.11.2coq updated to 8.11.2Tue, 26 May 2020 15:12:26 GMThttps://pkgstory.dev/homebrew-formula/coq/#8.11.1https://pkgstory.dev/homebrew-formula/coq/#8.11.1coq updated to 8.11.1Sun, 05 Apr 2020 17:00:09 GMThttps://pkgstory.dev/homebrew-formula/coq/#8.11.0https://pkgstory.dev/homebrew-formula/coq/#8.11.0coq updated to 8.11.0Wed, 29 Jan 2020 14:04:11 GMThttps://pkgstory.dev/homebrew-formula/coq/#8.10.2_1https://pkgstory.dev/homebrew-formula/coq/#8.10.2_1coq updated to 8.10.2_1Fri, 13 Dec 2019 18:48:21 GMThttps://pkgstory.dev/homebrew-formula/coq/#8.10.2https://pkgstory.dev/homebrew-formula/coq/#8.10.2coq updated to 8.10.2Fri, 29 Nov 2019 16:11:17 GMThttps://pkgstory.dev/homebrew-formula/coq/#8.10.1https://pkgstory.dev/homebrew-formula/coq/#8.10.1coq updated to 8.10.1Sat, 02 Nov 2019 14:29:30 GMThttps://pkgstory.dev/homebrew-formula/coq/#8.10.0https://pkgstory.dev/homebrew-formula/coq/#8.10.0coq updated to 8.10.0Wed, 09 Oct 2019 14:50:00 GMThttps://pkgstory.dev/homebrew-formula/coq/#8.9.1https://pkgstory.dev/homebrew-formula/coq/#8.9.1coq updated to 8.9.1Fri, 31 May 2019 07:52:09 GMThttps://pkgstory.dev/homebrew-formula/coq/#8.9.0https://pkgstory.dev/homebrew-formula/coq/#8.9.0coq updated to 8.9.0Sat, 26 Jan 2019 15:42:47 GMThttps://pkgstory.dev/homebrew-formula/coq/#8.8.2https://pkgstory.dev/homebrew-formula/coq/#8.8.2coq updated to 8.8.2Sun, 28 Oct 2018 09:43:11 GMThttps://pkgstory.dev/homebrew-formula/coq/#8.8.1https://pkgstory.dev/homebrew-formula/coq/#8.8.1coq updated to 8.8.1Tue, 10 Jul 2018 04:48:54 GMThttps://pkgstory.dev/homebrew-formula/coq/#8.8.0https://pkgstory.dev/homebrew-formula/coq/#8.8.0coq updated to 8.8.0Wed, 18 Apr 2018 01:43:41 GMThttps://pkgstory.dev/homebrew-formula/coq/#8.7.2https://pkgstory.dev/homebrew-formula/coq/#8.7.2coq updated to 8.7.2Sat, 17 Feb 2018 10:34:37 GMThttps://pkgstory.dev/homebrew-formula/coq/#8.7.1https://pkgstory.dev/homebrew-formula/coq/#8.7.1coq updated to 8.7.1Sat, 16 Dec 2017 09:45:52 GMThttps://pkgstory.dev/homebrew-formula/coq/#8.7.0_1https://pkgstory.dev/homebrew-formula/coq/#8.7.0_1coq updated to 8.7.0_1Sat, 04 Nov 2017 17:56:37 GMThttps://pkgstory.dev/homebrew-formula/coq/#8.7.0https://pkgstory.dev/homebrew-formula/coq/#8.7.0coq updated to 8.7.0Wed, 18 Oct 2017 09:50:57 GMThttps://pkgstory.dev/homebrew-formula/coq/#8.6.1_1https://pkgstory.dev/homebrew-formula/coq/#8.6.1_1coq updated to 8.6.1_1Sun, 16 Jul 2017 10:17:43 GMThttps://pkgstory.dev/homebrew-formula/coq/#8.6.1https://pkgstory.dev/homebrew-formula/coq/#8.6.1coq updated to 8.6.1Thu, 06 Jul 2017 10:52:43 GMThttps://pkgstory.dev/homebrew-formula/coq/#8.6https://pkgstory.dev/homebrew-formula/coq/#8.6coq updated to 8.6Thu, 15 Dec 2016 13:12:56 GMThttps://pkgstory.dev/homebrew-formula/coq/#8.5pl3_1https://pkgstory.dev/homebrew-formula/coq/#8.5pl3_1coq updated to 8.5pl3_1Wed, 30 Nov 2016 16:16:31 GMThttps://pkgstory.dev/homebrew-formula/coq/#8.5pl3https://pkgstory.dev/homebrew-formula/coq/#8.5pl3coq updated to 8.5pl3Sat, 29 Oct 2016 11:58:29 GMThttps://pkgstory.dev/homebrew-formula/coq/#8.5pl2https://pkgstory.dev/homebrew-formula/coq/#8.5pl2coq updated to 8.5pl2Fri, 08 Jul 2016 12:51:26 GMThttps://pkgstory.dev/homebrew-formula/coq/#8.5pl1_1https://pkgstory.dev/homebrew-formula/coq/#8.5pl1_1coq updated to 8.5pl1_1Fri, 13 May 2016 23:54:56 GMThttps://pkgstory.dev/homebrew-formula/coq/#8.5pl1https://pkgstory.dev/homebrew-formula/coq/#8.5pl1coq updated to 8.5pl1Wed, 20 Apr 2016 15:40:45 GMThttps://pkgstory.dev/homebrew-formula/coq/#8.5https://pkgstory.dev/homebrew-formula/coq/#8.5coq updated to 8.5Mon, 25 Jan 2016 01:51:20 GMThttps://pkgstory.dev/homebrew-formula/coq/#8.4pl6_1https://pkgstory.dev/homebrew-formula/coq/#8.4pl6_1coq updated to 8.4pl6_1Sun, 05 Jul 2015 19:33:48 GMThttps://pkgstory.dev/homebrew-formula/coq/#8.4pl6https://pkgstory.dev/homebrew-formula/coq/#8.4pl6coq updated to 8.4pl6Sat, 11 Apr 2015 18:10:29 GMThttps://pkgstory.dev/homebrew-formula/coq/#8.4pl5https://pkgstory.dev/homebrew-formula/coq/#8.4pl5coq updated to 8.4pl5Fri, 31 Oct 2014 23:39:27 GMThttps://pkgstory.dev/homebrew-formula/coq/#8.4pl4https://pkgstory.dev/homebrew-formula/coq/#8.4pl4coq updated to 8.4pl4Sun, 25 May 2014 14:50:13 GMThttps://pkgstory.dev/homebrew-formula/coq/#8.4pl3https://pkgstory.dev/homebrew-formula/coq/#8.4pl3coq updated to 8.4pl3Tue, 24 Dec 2013 19:54:54 GMThttps://pkgstory.dev/homebrew-formula/coq/#8.4pl1https://pkgstory.dev/homebrew-formula/coq/#8.4pl1coq updated to 8.4pl1Thu, 03 Jan 2013 08:11:47 GMThttps://pkgstory.dev/homebrew-formula/coq/#8.4https://pkgstory.dev/homebrew-formula/coq/#8.4coq updated to 8.4Wed, 22 Aug 2012 19:24:45 GMThttps://pkgstory.dev/homebrew-formula/coq/#8.3pl3https://pkgstory.dev/homebrew-formula/coq/#8.3pl3coq updated to 8.3pl3Mon, 12 Mar 2012 23:26:29 GMThttps://pkgstory.dev/homebrew-formula/coq/#8.3pl2https://pkgstory.dev/homebrew-formula/coq/#8.3pl2coq updated to 8.3pl2Thu, 14 Jul 2011 16:56:47 GMT