pkgstory

checked rss

cvc4 version history (formula)

All packages / formula

cvc4

formularemoved

formula timeline from Homebrew git history.

Current
1.4_1
Versions
2
Since
Mar 2015
Cadence
220d

Update cadence

Mar 2015 to Nov 2015

Contributors

5 people · 1 automated

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

Mike McQuaid

2 commits · 1 version change

2015-03-30 – 2015-11-02

Andrew Janke

1 commit · 0 version changes

2016-05-06 – 2016-05-06

Adam C. Foltzer

1 commit · 0 version changes

2015-11-05 – 2015-11-05

Nikolaus Wittenstein

1 commit · 0 version changes

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

BrewTestBot

2 commits · 1 version change

2015-03-27 – 2015-11-03

Version timeline

2 version-changing commits

VersionUpdatedCommitSubject
1.4_12015-11-02485635102cvc4: disable homepage https (failing on 10.11).
1.42015-03-278c1717a15cvc4: add 1.4 bottle.