pkgstory

checked rss

cryptol version history (formula)

All packages / formula

cryptol

formula

formula timeline from Homebrew git history.

Track cryptol with the RSS feed.

Current
3.6.0
Versions
24
Since
Apr 2015
Cadence
199d
Bottles
6 platforms

Update cadence

Apr 2015 to Sep 2026

Bottle availability

21 availability spans

PlatformFromUntilFirst bottled commitRemoval commit
Linux (arm64)2025-04-22presentad976f5c4—
Linux (x86_64)2021-07-31presentd3442964c—
macOS Golden Gate 27 (arm64)2026-09-12present158088a4a—
macOS Tahoe 26 (arm64)2025-09-13presentdd7e15a50—
macOS Sequoia 15 (arm64)2024-09-11present664555323—
macOS Sonoma 14 (arm64)2023-11-17present05e34363d—
macOS Sonoma 14 (x86_64)2023-11-172026-09-0905e34363d8d33405c9
macOS Ventura 13 (arm64)2022-12-112025-11-227ce2fa1de9664c5251
macOS Ventura 13 (x86_64)2022-11-262025-11-22222a7eada9664c5251
macOS Monterey 12 (arm64)2022-09-132025-03-267c25c1f1097776e369
macOS Monterey 12 (x86_64)2021-10-302025-03-26be5b6943897776e369
macOS Big Sur 11 (arm64)2022-09-132024-02-067c25c1f10911e2536b
macOS Big Sur 11 (x86_64)2020-11-182024-02-0646db63e89911e2536b
macOS Catalina 10.15 (x86_64)2020-08-022023-06-26d02ed3ef5a83c6484f
macOS Mojave 10.14 (x86_64)2018-08-252022-09-13113d03b117c25c1f10
macOS High Sierra 10.13 (x86_64)2017-10-022020-11-19b6fc34249d68eaff47
macOS Sierra 10.12 (x86_64)2016-09-282020-08-02378c79c23d02ed3ef5
OS X El Capitan 10.11 (x86_64)2015-12-252019-05-210aebd05ceca7aad586
OS X Yosemite 10.10 (x86_64)2015-03-302017-10-02a6b9f53b7b6fc34249
OS X Mavericks 10.9 (x86_64)2015-03-302017-05-28a6b9f53b7c879b09d4
OS X Mountain Lion 10.8 (x86_64)2015-03-302015-12-25a6b9f53b70aebd05ce

Contributors

28 people · 1 automated

Authors and co-authors of formula file changes in Homebrew history, not the upstream project.

ilovezfs

11 commits · 3 version changes

2016-05-24 – 2018-08-02

Michael Cho

6 commits · 0 version changes

2023-11-16 – 2026-09-04

Mike McQuaid

6 commits · 0 version changes

2015-03-30 – 2023-08-15

Adam C. Foltzer

5 commits · 4 version changes

2015-04-11 – 2016-01-20

Carlo Cabrera

4 commits · 2 version changes

2021-02-18 – 2022-09-13

rui

4 commits · 3 version changes

2020-07-19 – 2020-09-01

Ruoyu Zhong

3 commits · 0 version changes

2024-09-11 – 2026-09-12

Michael Cho

3 commits · 0 version changes

2021-07-31 – 2026-07-22

Rui Chen

3 commits · 2 version changes

2021-03-25 – 2024-02-06

Francois-Xavier Coudert

3 commits · 0 version changes

2020-10-12 – 2022-12-11

Patrick Linnane

2 commits · 1 version change

2023-06-26 – 2023-11-17

Michael Cho

2 commits · 1 version change

2022-09-13 – 2022-12-09
Show 16 more

Jonathan Chang

2 commits · 0 version changes

2020-10-20 – 2020-11-18

Jonathan Chang

2 commits · 0 version changes

2019-06-29 – 2020-08-02

Rui Chen

2 commits · 2 version changes

2019-05-21 – 2019-09-05

Porkepix

1 commit · 1 version change

2024-02-06 – 2024-02-06

Nanda H Krishna

1 commit · 0 version changes

2021-08-20 – 2021-08-20

Sam Ford

1 commit · 0 version changes

2021-02-06 – 2021-02-06

Rylan Polster

1 commit · 0 version changes

2021-02-04 – 2021-02-04

rui

1 commit · 1 version change

2020-11-19 – 2020-11-19

Nanda H Krishna

1 commit · 0 version changes

2020-08-28 – 2020-08-28

Bo Anderson

1 commit · 0 version changes

2020-02-28 – 2020-02-28

Issy Long

1 commit · 0 version changes

2020-02-23 – 2020-02-23

Misty De Meo

1 commit · 0 version changes

2016-06-23 – 2016-06-23

Miëtek Bak

1 commit · 0 version changes

2015-12-25 – 2015-12-25

Nikolaus Wittenstein

1 commit · 0 version changes

2015-06-05 – 2015-06-05

Misty De Meo

1 commit · 0 version changes

2015-05-29 – 2015-05-29
Automation

BrewTestBot

39 commits · 5 version changes

2015-03-30 – 2026-09-09

Version timeline

24 version-changing commits

VersionUpdatedCommitSubject
3.6.02026-09-098d33405c9cryptol 3.6.0
3.5.02026-01-308ab725a58cryptol 3.5.0
3.4.02025-11-229664c5251cryptol 3.4.0
3.3.02025-03-2697776e369cryptol 3.3.0
3.2.02024-08-21d6d13bfa3cryptol 3.2.0
3.1.02024-02-06911e2536bcryptol 3.1.0
3.0.02023-06-26a83c6484fcryptol 3.0.0
2.13.02022-09-13b939326c7cryptol 2.13.0
2.12.02021-10-10b2abe32a7cryptol 2.12.0
2.11.02021-03-25578f87dcecryptol 2.11.0
2.10.0_12021-02-18a1fbb9635cryptol: fix source build
2.10.02020-11-19fd0119deacryptol 2.10.0
2.9.12020-09-010a337ebddcryptol 2.9.1
2.9.0_12020-08-08f7129d96ccryptol: deprecate cabal v1
2.9.02020-08-02a6ad5f3aacryptol 2.9.0
2.8.02019-09-0541765158ecryptol 2.8.0
2.7.02019-05-217da23aaa2cryptol 2.7.0
2.6.02018-08-02470ef232fcryptol 2.6.0
2.5.02017-07-262b343e35ccryptol 2.5.0
2.4.02016-07-0761ba4eb6acryptol 2.4.0
2.3.02016-01-2066260b0ffcryptol 2.3.0
2.2.62015-12-25aa68ab2ebcryptol 2.2.6
2.2.42015-06-024e23216ebcryptol 2.2.4
2.2.22015-04-117cb10af7acryptol 2.2.2