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.5.0
Versions
23
Since
Apr 2015
Cadence
198d

Update cadence

Apr 2015 to Jan 2026

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

Mike McQuaid

6 commits · 0 version changes

2015-03-30 – 2023-08-15

Michael Cho

5 commits · 0 version changes

2023-11-16 – 2026-02-09

Adam C. Foltzer

5 commits · 4 version changes

2015-04-10 – 2016-01-20

Carlo Cabrera

4 commits · 2 version changes

2021-02-17 – 2022-09-13

rui

4 commits · 3 version changes

2020-07-19 – 2020-09-01

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

Ruoyu Zhong

2 commits · 0 version changes

2024-09-11 – 2025-09-13

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-03
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-19 – 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-03 – 2021-02-03

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-22 – 2016-06-22

Miëtek Bak

1 commit · 0 version changes

2015-12-23 – 2015-12-23

Misty De Meo

1 commit · 0 version changes

2015-05-29 – 2015-05-29

Nikolaus Wittenstein

1 commit · 0 version changes

2015-05-19 – 2015-05-19
Automation

BrewTestBot

37 commits · 4 version changes

2015-03-27 – 2026-02-10

Version timeline

23 version-changing commits

VersionUpdatedCommitSubject
3.5.02026-01-30d08134bb3cryptol 3.5.0
3.4.02025-11-2223c9f7619cryptol 3.4.0
3.3.02025-03-26eb486cf34cryptol 3.3.0
3.2.02024-08-202b6ac59cacryptol 3.2.0
3.1.02024-02-0656a62f177cryptol 3.1.0
3.0.02023-06-261037a87bacryptol 3.0.0
2.13.02022-09-13b939326c7cryptol 2.13.0
2.12.02021-10-09b2abe32a7cryptol 2.12.0
2.11.02021-03-25578f87dcecryptol 2.11.0
2.10.0_12021-02-17a1fbb9635cryptol: 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-197da23aaa2cryptol 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-107cb10af7acryptol 2.2.2