Version updates for acl2 (formula).https://pkgstory.dev/https://pkgstory.dev/homebrew-formula/acl2/#8.7_3https://pkgstory.dev/homebrew-formula/acl2/#8.7_3acl2 updated to 8.7_3Sat, 30 May 2026 22:53:53 GMThttps://pkgstory.dev/homebrew-formula/acl2/#8.7_2https://pkgstory.dev/homebrew-formula/acl2/#8.7_2acl2 updated to 8.7_2Thu, 30 Apr 2026 01:52:12 GMThttps://pkgstory.dev/homebrew-formula/acl2/#8.7_1https://pkgstory.dev/homebrew-formula/acl2/#8.7_1acl2 updated to 8.7_1Sun, 29 Mar 2026 18:19:19 GMThttps://pkgstory.dev/homebrew-formula/acl2/#8.7https://pkgstory.dev/homebrew-formula/acl2/#8.7acl2 updated to 8.7Fri, 27 Mar 2026 17:07:45 GMThttps://pkgstory.dev/homebrew-formula/acl2/#8.6_16https://pkgstory.dev/homebrew-formula/acl2/#8.6_16acl2 updated to 8.6_16Tue, 17 Mar 2026 04:03:42 GMThttps://pkgstory.dev/homebrew-formula/acl2/#8.6_15https://pkgstory.dev/homebrew-formula/acl2/#8.6_15acl2 updated to 8.6_15Tue, 27 Jan 2026 01:02:18 GMThttps://pkgstory.dev/homebrew-formula/acl2/#8.6_14https://pkgstory.dev/homebrew-formula/acl2/#8.6_14acl2 updated to 8.6_14Mon, 26 Jan 2026 00:41:14 GMThttps://pkgstory.dev/homebrew-formula/acl2/#8.6_13https://pkgstory.dev/homebrew-formula/acl2/#8.6_13acl2 updated to 8.6_13Mon, 27 Oct 2025 18:10:46 GMThttps://pkgstory.dev/homebrew-formula/acl2/#8.6_12https://pkgstory.dev/homebrew-formula/acl2/#8.6_12acl2 updated to 8.6_12Mon, 29 Sep 2025 13:15:47 GMThttps://pkgstory.dev/homebrew-formula/acl2/#8.6_11https://pkgstory.dev/homebrew-formula/acl2/#8.6_11acl2 updated to 8.6_11Fri, 29 Aug 2025 21:51:25 GMThttps://pkgstory.dev/homebrew-formula/acl2/#8.6_10https://pkgstory.dev/homebrew-formula/acl2/#8.6_10acl2 updated to 8.6_10Sat, 26 Jul 2025 18:57:22 GMThttps://pkgstory.dev/homebrew-formula/acl2/#8.6_9https://pkgstory.dev/homebrew-formula/acl2/#8.6_9acl2 updated to 8.6_9Mon, 30 Jun 2025 00:01:52 GMThttps://pkgstory.dev/homebrew-formula/acl2/#8.6_8https://pkgstory.dev/homebrew-formula/acl2/#8.6_8acl2 updated to 8.6_8Sat, 31 May 2025 21:47:31 GMThttps://pkgstory.dev/homebrew-formula/acl2/#8.6_7https://pkgstory.dev/homebrew-formula/acl2/#8.6_7acl2 updated to 8.6_7Mon, 28 Apr 2025 12:04:20 GMThttps://pkgstory.dev/homebrew-formula/acl2/#8.6_6https://pkgstory.dev/homebrew-formula/acl2/#8.6_6acl2 updated to 8.6_6Sun, 30 Mar 2025 16:18:37 GMThttps://pkgstory.dev/homebrew-formula/acl2/#8.6_5https://pkgstory.dev/homebrew-formula/acl2/#8.6_5acl2 updated to 8.6_5Fri, 28 Feb 2025 22:20:22 GMThttps://pkgstory.dev/homebrew-formula/acl2/#8.6_4https://pkgstory.dev/homebrew-formula/acl2/#8.6_4acl2 updated to 8.6_4Fri, 31 Jan 2025 21:52:58 GMThttps://pkgstory.dev/homebrew-formula/acl2/#8.6_3https://pkgstory.dev/homebrew-formula/acl2/#8.6_3acl2 updated to 8.6_3Sun, 29 Dec 2024 12:23:37 GMThttps://pkgstory.dev/homebrew-formula/acl2/#8.6_2https://pkgstory.dev/homebrew-formula/acl2/#8.6_2acl2 updated to 8.6_2Sat, 30 Nov 2024 11:58:52 GMThttps://pkgstory.dev/homebrew-formula/acl2/#8.6_1https://pkgstory.dev/homebrew-formula/acl2/#8.6_1acl2 updated to 8.6_1Thu, 31 Oct 2024 01:41:29 GMThttps://pkgstory.dev/homebrew-formula/acl2/#8.6https://pkgstory.dev/homebrew-formula/acl2/#8.6acl2 updated to 8.6Mon, 14 Oct 2024 18:04:43 GMThttps://pkgstory.dev/homebrew-formula/acl2/#8.5_22https://pkgstory.dev/homebrew-formula/acl2/#8.5_22acl2 updated to 8.5_22Mon, 30 Sep 2024 00:27:13 GMThttps://pkgstory.dev/homebrew-formula/acl2/#8.5_21https://pkgstory.dev/homebrew-formula/acl2/#8.5_21acl2 updated to 8.5_21Thu, 29 Aug 2024 21:29:41 GMThttps://pkgstory.dev/homebrew-formula/acl2/#8.5_20https://pkgstory.dev/homebrew-formula/acl2/#8.5_20acl2 updated to 8.5_20Sat, 27 Jul 2024 12:59:09 GMThttps://pkgstory.dev/homebrew-formula/acl2/#8.5_19https://pkgstory.dev/homebrew-formula/acl2/#8.5_19acl2 updated to 8.5_19Fri, 28 Jun 2024 12:19:15 GMThttps://pkgstory.dev/homebrew-formula/acl2/#8.5_18https://pkgstory.dev/homebrew-formula/acl2/#8.5_18acl2 updated to 8.5_18Thu, 30 May 2024 16:27:48 GMThttps://pkgstory.dev/homebrew-formula/acl2/#8.5_17https://pkgstory.dev/homebrew-formula/acl2/#8.5_17acl2 updated to 8.5_17Tue, 30 Apr 2024 23:49:51 GMThttps://pkgstory.dev/homebrew-formula/acl2/#8.5_16https://pkgstory.dev/homebrew-formula/acl2/#8.5_16acl2 updated to 8.5_16Thu, 29 Feb 2024 20:46:29 GMThttps://pkgstory.dev/homebrew-formula/acl2/#8.5_15https://pkgstory.dev/homebrew-formula/acl2/#8.5_15acl2 updated to 8.5_15Sun, 28 Jan 2024 17:21:03 GMThttps://pkgstory.dev/homebrew-formula/acl2/#8.5_14https://pkgstory.dev/homebrew-formula/acl2/#8.5_14acl2 updated to 8.5_14Thu, 28 Dec 2023 15:16:08 GMThttps://pkgstory.dev/homebrew-formula/acl2/#8.5_13https://pkgstory.dev/homebrew-formula/acl2/#8.5_13acl2 updated to 8.5_13Thu, 30 Nov 2023 17:00:01 GMThttps://pkgstory.dev/homebrew-formula/acl2/#8.5_12https://pkgstory.dev/homebrew-formula/acl2/#8.5_12acl2 updated to 8.5_12Tue, 31 Oct 2023 13:59:15 GMThttps://pkgstory.dev/homebrew-formula/acl2/#8.5_11https://pkgstory.dev/homebrew-formula/acl2/#8.5_11acl2 updated to 8.5_11Fri, 29 Sep 2023 02:37:25 GMThttps://pkgstory.dev/homebrew-formula/acl2/#8.5_10https://pkgstory.dev/homebrew-formula/acl2/#8.5_10acl2 updated to 8.5_10Sun, 03 Sep 2023 03:34:58 GMThttps://pkgstory.dev/homebrew-formula/acl2/#8.5_9https://pkgstory.dev/homebrew-formula/acl2/#8.5_9acl2 updated to 8.5_9Sun, 30 Apr 2023 17:43:03 GMThttps://pkgstory.dev/homebrew-formula/acl2/#8.5_8https://pkgstory.dev/homebrew-formula/acl2/#8.5_8acl2 updated to 8.5_8Tue, 28 Mar 2023 22:57:14 GMThttps://pkgstory.dev/homebrew-formula/acl2/#8.5_7https://pkgstory.dev/homebrew-formula/acl2/#8.5_7acl2 updated to 8.5_7Sun, 26 Feb 2023 18:06:33 GMThttps://pkgstory.dev/homebrew-formula/acl2/#8.5_6https://pkgstory.dev/homebrew-formula/acl2/#8.5_6acl2 updated to 8.5_6Sat, 28 Jan 2023 16:30:17 GMThttps://pkgstory.dev/homebrew-formula/acl2/#8.5_5https://pkgstory.dev/homebrew-formula/acl2/#8.5_5acl2 updated to 8.5_5Thu, 29 Dec 2022 17:03:28 GMThttps://pkgstory.dev/homebrew-formula/acl2/#8.5_4https://pkgstory.dev/homebrew-formula/acl2/#8.5_4acl2 updated to 8.5_4Tue, 29 Nov 2022 01:32:24 GMThttps://pkgstory.dev/homebrew-formula/acl2/#8.5_3https://pkgstory.dev/homebrew-formula/acl2/#8.5_3acl2 updated to 8.5_3Tue, 01 Nov 2022 02:42:53 GMThttps://pkgstory.dev/homebrew-formula/acl2/#8.5_2https://pkgstory.dev/homebrew-formula/acl2/#8.5_2acl2 updated to 8.5_2Sun, 02 Oct 2022 07:57:08 GMThttps://pkgstory.dev/homebrew-formula/acl2/#8.5_1https://pkgstory.dev/homebrew-formula/acl2/#8.5_1acl2 updated to 8.5_1Sat, 17 Sep 2022 09:14:58 GMThttps://pkgstory.dev/homebrew-formula/acl2/#8.5https://pkgstory.dev/homebrew-formula/acl2/#8.5acl2 updated to 8.5Sat, 23 Jul 2022 22:45:57 GMThttps://pkgstory.dev/homebrew-formula/acl2/#8.4_2https://pkgstory.dev/homebrew-formula/acl2/#8.4_2acl2 updated to 8.4_2Sun, 03 Jul 2022 13:39:03 GMThttps://pkgstory.dev/homebrew-formula/acl2/#8.4_1https://pkgstory.dev/homebrew-formula/acl2/#8.4_1acl2 updated to 8.4_1Tue, 31 May 2022 18:21:00 GMThttps://pkgstory.dev/homebrew-formula/acl2/#8.4https://pkgstory.dev/homebrew-formula/acl2/#8.4acl2 updated to 8.4Fri, 13 May 2022 21:44:43 GMThttps://pkgstory.dev/homebrew-formula/acl2/#8.3_13https://pkgstory.dev/homebrew-formula/acl2/#8.3_13acl2 updated to 8.3_13Tue, 08 Mar 2022 06:07:21 GMThttps://pkgstory.dev/homebrew-formula/acl2/#8.3_12https://pkgstory.dev/homebrew-formula/acl2/#8.3_12acl2 updated to 8.3_12Tue, 28 Sep 2021 04:43:38 GMThttps://pkgstory.dev/homebrew-formula/acl2/#8.3_11https://pkgstory.dev/homebrew-formula/acl2/#8.3_11acl2 updated to 8.3_11Mon, 30 Aug 2021 13:00:37 GMThttps://pkgstory.dev/homebrew-formula/acl2/#8.3_10https://pkgstory.dev/homebrew-formula/acl2/#8.3_10acl2 updated to 8.3_10Fri, 30 Jul 2021 09:32:01 GMThttps://pkgstory.dev/homebrew-formula/acl2/#8.3_9https://pkgstory.dev/homebrew-formula/acl2/#8.3_9acl2 updated to 8.3_9Tue, 29 Jun 2021 03:59:40 GMThttps://pkgstory.dev/homebrew-formula/acl2/#8.3_8https://pkgstory.dev/homebrew-formula/acl2/#8.3_8acl2 updated to 8.3_8Tue, 01 Jun 2021 02:29:22 GMThttps://pkgstory.dev/homebrew-formula/acl2/#8.3_7https://pkgstory.dev/homebrew-formula/acl2/#8.3_7acl2 updated to 8.3_7Thu, 29 Apr 2021 10:14:55 GMThttps://pkgstory.dev/homebrew-formula/acl2/#8.3_6https://pkgstory.dev/homebrew-formula/acl2/#8.3_6acl2 updated to 8.3_6Tue, 30 Mar 2021 04:14:54 GMThttps://pkgstory.dev/homebrew-formula/acl2/#8.3_5https://pkgstory.dev/homebrew-formula/acl2/#8.3_5acl2 updated to 8.3_5Wed, 03 Mar 2021 14:03:56 GMThttps://pkgstory.dev/homebrew-formula/acl2/#8.3_4https://pkgstory.dev/homebrew-formula/acl2/#8.3_4acl2 updated to 8.3_4Sun, 29 Nov 2020 19:24:42 GMThttps://pkgstory.dev/homebrew-formula/acl2/#8.3_3https://pkgstory.dev/homebrew-formula/acl2/#8.3_3acl2 updated to 8.3_3Sat, 31 Oct 2020 23:38:37 GMThttps://pkgstory.dev/homebrew-formula/acl2/#8.3_2https://pkgstory.dev/homebrew-formula/acl2/#8.3_2acl2 updated to 8.3_2Thu, 01 Oct 2020 07:00:59 GMThttps://pkgstory.dev/homebrew-formula/acl2/#8.3_1https://pkgstory.dev/homebrew-formula/acl2/#8.3_1acl2 updated to 8.3_1Wed, 02 Sep 2020 03:16:31 GMThttps://pkgstory.dev/homebrew-formula/acl2/#8.3https://pkgstory.dev/homebrew-formula/acl2/#8.3acl2 updated to 8.3Sat, 18 Jul 2020 01:54:53 GMT