pkgstory

checked rss

why3 version history (formula)

All packages / formula

why3

formularemoved

formula timeline from Homebrew git history.

Current
0.86.1
Versions
2
Since
Jan 2015
Cadence
110d

Update cadence

Jan 2015 to May 2015

Contributors

5 people · 1 automated

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

Erik Nilsen

1 commit · 0 version changes

2016-02-03 – 2016-02-03

Alex Wang

1 commit · 0 version changes

2015-09-02 – 2015-09-02

Alex Dunn

1 commit · 0 version changes

2015-06-01 – 2015-06-01

Nikolaus Wittenstein

1 commit · 1 version change

2015-05-19 – 2015-05-19

Baptiste Fontaine

1 commit · 1 version change

2015-01-28 – 2015-01-28
Automation

BrewTestBot

2 commits · 0 version changes

2015-01-30 – 2015-06-01

Version timeline

2 version-changing commits

VersionUpdatedCommitSubject
0.86.12015-05-19758f6e953Add descriptions to all remaining homebrew packages
0.852015-01-28041997955why3 0.85 (new formula)