Version updates for cryptol (formula).https://pkgstory.dev/https://pkgstory.dev/homebrew-formula/cryptol/#3.5.0https://pkgstory.dev/homebrew-formula/cryptol/#3.5.0cryptol updated to 3.5.0Fri, 30 Jan 2026 02:44:45 GMThttps://pkgstory.dev/homebrew-formula/cryptol/#3.4.0https://pkgstory.dev/homebrew-formula/cryptol/#3.4.0cryptol updated to 3.4.0Sat, 22 Nov 2025 02:23:09 GMThttps://pkgstory.dev/homebrew-formula/cryptol/#3.3.0https://pkgstory.dev/homebrew-formula/cryptol/#3.3.0cryptol updated to 3.3.0Wed, 26 Mar 2025 16:57:37 GMThttps://pkgstory.dev/homebrew-formula/cryptol/#3.2.0https://pkgstory.dev/homebrew-formula/cryptol/#3.2.0cryptol updated to 3.2.0Tue, 20 Aug 2024 18:31:35 GMThttps://pkgstory.dev/homebrew-formula/cryptol/#3.1.0https://pkgstory.dev/homebrew-formula/cryptol/#3.1.0cryptol updated to 3.1.0Tue, 06 Feb 2024 00:12:15 GMThttps://pkgstory.dev/homebrew-formula/cryptol/#3.0.0https://pkgstory.dev/homebrew-formula/cryptol/#3.0.0cryptol updated to 3.0.0Mon, 26 Jun 2023 19:44:12 GMThttps://pkgstory.dev/homebrew-formula/cryptol/#2.13.0https://pkgstory.dev/homebrew-formula/cryptol/#2.13.0cryptol updated to 2.13.0Tue, 13 Sep 2022 00:39:52 GMThttps://pkgstory.dev/homebrew-formula/cryptol/#2.12.0https://pkgstory.dev/homebrew-formula/cryptol/#2.12.0cryptol updated to 2.12.0Sat, 09 Oct 2021 21:32:10 GMThttps://pkgstory.dev/homebrew-formula/cryptol/#2.11.0https://pkgstory.dev/homebrew-formula/cryptol/#2.11.0cryptol updated to 2.11.0Thu, 25 Mar 2021 00:15:18 GMThttps://pkgstory.dev/homebrew-formula/cryptol/#2.10.0_1https://pkgstory.dev/homebrew-formula/cryptol/#2.10.0_1cryptol updated to 2.10.0_1Wed, 17 Feb 2021 17:29:36 GMThttps://pkgstory.dev/homebrew-formula/cryptol/#2.10.0https://pkgstory.dev/homebrew-formula/cryptol/#2.10.0cryptol updated to 2.10.0Thu, 19 Nov 2020 20:12:20 GMThttps://pkgstory.dev/homebrew-formula/cryptol/#2.9.1https://pkgstory.dev/homebrew-formula/cryptol/#2.9.1cryptol updated to 2.9.1Tue, 01 Sep 2020 15:01:42 GMThttps://pkgstory.dev/homebrew-formula/cryptol/#2.9.0_1https://pkgstory.dev/homebrew-formula/cryptol/#2.9.0_1cryptol updated to 2.9.0_1Sat, 08 Aug 2020 13:16:04 GMThttps://pkgstory.dev/homebrew-formula/cryptol/#2.9.0https://pkgstory.dev/homebrew-formula/cryptol/#2.9.0cryptol updated to 2.9.0Sun, 02 Aug 2020 02:32:56 GMThttps://pkgstory.dev/homebrew-formula/cryptol/#2.8.0https://pkgstory.dev/homebrew-formula/cryptol/#2.8.0cryptol updated to 2.8.0Thu, 05 Sep 2019 03:08:34 GMThttps://pkgstory.dev/homebrew-formula/cryptol/#2.7.0https://pkgstory.dev/homebrew-formula/cryptol/#2.7.0cryptol updated to 2.7.0Sun, 19 May 2019 22:25:08 GMThttps://pkgstory.dev/homebrew-formula/cryptol/#2.6.0https://pkgstory.dev/homebrew-formula/cryptol/#2.6.0cryptol updated to 2.6.0Thu, 02 Aug 2018 05:13:59 GMThttps://pkgstory.dev/homebrew-formula/cryptol/#2.5.0https://pkgstory.dev/homebrew-formula/cryptol/#2.5.0cryptol updated to 2.5.0Wed, 26 Jul 2017 04:59:58 GMThttps://pkgstory.dev/homebrew-formula/cryptol/#2.4.0https://pkgstory.dev/homebrew-formula/cryptol/#2.4.0cryptol updated to 2.4.0Thu, 07 Jul 2016 06:16:05 GMThttps://pkgstory.dev/homebrew-formula/cryptol/#2.3.0https://pkgstory.dev/homebrew-formula/cryptol/#2.3.0cryptol updated to 2.3.0Wed, 20 Jan 2016 02:37:03 GMThttps://pkgstory.dev/homebrew-formula/cryptol/#2.2.6https://pkgstory.dev/homebrew-formula/cryptol/#2.2.6cryptol updated to 2.2.6Fri, 25 Dec 2015 00:31:47 GMThttps://pkgstory.dev/homebrew-formula/cryptol/#2.2.4https://pkgstory.dev/homebrew-formula/cryptol/#2.2.4cryptol updated to 2.2.4Tue, 02 Jun 2015 18:00:20 GMThttps://pkgstory.dev/homebrew-formula/cryptol/#2.2.2https://pkgstory.dev/homebrew-formula/cryptol/#2.2.2cryptol updated to 2.2.2Fri, 10 Apr 2015 20:30:31 GMT