ilovezfs
17 commits · 14 version changes
2016-05-24 – 2018-05-27idris version history (formula)
All packages / formula
idris
formularemovedformula timeline from Homebrew git history.
- Current
- 1.3.4
- Versions
- 32
- Since
- Nov 2014
- Cadence
- 38d
- Bottles
- 0 platforms
Update cadence
Nov 2014 to Oct 2021
Bottle availability
14 availability spans
| Platform | From | Until | First bottled commit | Removal commit |
|---|---|---|---|---|
| Linux (x86_64) | 2022-01-17 | 2024-09-25 | fbdd58c0c | 16dce871f |
| macOS Ventura 13 (x86_64) | 2022-11-27 | 2024-09-25 | f0d51f806 | 16dce871f |
| macOS Monterey 12 (arm64) | 2022-09-13 | 2024-09-25 | c90c81eb2 | 16dce871f |
| macOS Monterey 12 (x86_64) | 2021-11-02 | 2024-09-25 | 44a2548ba | 16dce871f |
| macOS Big Sur 11 (arm64) | 2022-09-13 | 2024-09-25 | c90c81eb2 | 16dce871f |
| macOS Big Sur 11 (x86_64) | 2020-12-21 | 2024-09-25 | 5e712cf4d | 16dce871f |
| macOS Catalina 10.15 (x86_64) | 2020-05-25 | 2022-12-07 | 43a10c5cf | 39414e90e |
| macOS Mojave 10.14 (x86_64) | 2018-08-21 | 2021-10-25 | e8f0c1f46 | 4d3796c13 |
| macOS High Sierra 10.13 (x86_64) | 2017-09-23 | 2020-12-21 | 235f26b91 | 5e712cf4d |
| macOS Sierra 10.12 (x86_64) | 2016-09-19 | 2020-05-25 | b300ab058 | 43a10c5cf |
| OS X El Capitan 10.11 (x86_64) | 2015-09-24 | 2018-10-25 | eaa429227 | bd7f6b6de |
| OS X Yosemite 10.10 (x86_64) | 2014-11-06 | 2018-01-08 | daf3072b4 | 328cbbc8f |
| OS X Mavericks 10.9 (x86_64) | 2014-11-06 | 2016-09-19 | daf3072b4 | b300ab058 |
| OS X Mountain Lion 10.8 (x86_64) | 2014-11-06 | 2015-10-11 | daf3072b4 | d281d5069 |
Contributors
29 people · 1 automated
Authors and co-authors of formula file changes in Homebrew history, not the upstream project.
Mike McQuaid
4 commits · 0 version changes
2019-01-22 – 2023-08-15Markus Klink
4 commits · 4 version changes
2015-11-08 – 2016-03-28Rui Chen
3 commits · 1 version change
2021-10-25 – 2023-10-23Adam C. Foltzer
3 commits · 2 version changes
2015-01-21 – 2015-05-19Michka Popoff
2 commits · 0 version changes
2023-09-10 – 2023-09-24Michael Cho
2 commits · 0 version changes
2022-09-13 – 2022-12-07Carlo Cabrera
2 commits · 0 version changes
2021-11-02 – 2022-08-27Caleb Xu
2 commits · 1 version change
2020-05-25 – 2022-01-17Miëtek Bak
2 commits · 1 version change
2015-12-25 – 2016-01-21Erlend Hamberg
2 commits · 2 version changes
2015-10-11 – 2015-12-24Francois-Xavier Coudert
1 commit · 0 version changes
2022-11-27 – 2022-11-27Show 17 more
Michael Cho
1 commit · 0 version changes
2022-09-13 – 2022-09-13Caleb Xu
1 commit · 0 version changes
2022-01-17 – 2022-01-17Rylan Polster
1 commit · 0 version changes
2021-02-04 – 2021-02-04Seeker
1 commit · 0 version changes
2020-12-21 – 2020-12-21rui
1 commit · 0 version changes
2020-07-27 – 2020-07-27Bo Anderson
1 commit · 0 version changes
2020-02-28 – 2020-02-28Rui Chen
1 commit · 1 version change
2019-07-23 – 2019-07-23Jonas De Vuyst
1 commit · 1 version change
2018-10-25 – 2018-10-25Viktor Szakats
1 commit · 0 version changes
2017-03-22 – 2017-03-22Termina1
1 commit · 1 version change
2016-12-10 – 2016-12-10RossMeikleham
1 commit · 1 version change
2015-09-12 – 2015-09-12Alex
1 commit · 1 version change
2015-08-18 – 2015-08-18Nikolaus Wittenstein
1 commit · 0 version changes
2015-06-05 – 2015-06-05Misty De Meo
1 commit · 0 version changes
2015-05-29 – 2015-05-29Adam C. Foltzer
1 commit · 1 version change
2015-03-22 – 2015-03-22Jack Nagel
1 commit · 0 version changes
2014-11-06 – 2014-11-06Josh Tilles
1 commit · 1 version change
2014-11-06 – 2014-11-06Automation
BrewTestBot
39 commits · 0 version changes
2014-11-06 – 2024-09-25Version timeline
32 version-changing commits
| Version | Updated | Commit | Subject |
|---|---|---|---|
| 1.3.4 | 2021-10-25 | dea9ac0d0 | idris 1.3.4 |
| 1.3.3 | 2020-05-25 | 0ee21acec | idris 1.3.3 |
| 1.3.2 | 2019-07-23 | 45ba083d9 | idris 1.3.2 |
| 1.3.1 | 2018-10-25 | c19488f7c | idris 1.3.1 |
| 1.3.0 | 2018-05-27 | e249eb7d0 | idris 1.3.0 |
| 1.2.0 | 2018-01-08 | 16bf3b83e | idris 1.2.0 |
| 1.1.1 | 2017-08-06 | c129b14b0 | idris 1.1.1 |
| 1.1.0 | 2017-08-01 | 0a3a793d5 | idris 1.1.0 |
| 1.0 | 2017-04-01 | 9b9d84040 | idris 1.0 |
| 0.99.2 | 2017-03-26 | d33ae6f7b | idris 0.99.2 |
| 0.99.1 | 2017-03-08 | 04396068c | idris 0.99.1 |
| 0.99 | 2016-12-10 | 43b646fbc | idris 0.99 |
| 0.12.3 | 2016-09-19 | 6f99d38ec | idris 0.12.3 |
| 0.12.2 | 2016-08-05 | 8bbac8492 | idris 0.12.2 |
| 0.12.1 | 2016-07-27 | 3d2d06d75 | idris 0.12.1 |
| 0.12 | 2016-06-22 | 0e6c0debe | idris: GHC 8 compatibility |
| 0.12 | 2016-06-21 | c68578343 | idris 0.12 |
| 0.11.2 | 2016-06-02 | a93d45401 | idris: install using haskell-stack |
| 0.11.2 | 2016-05-24 | 74f11d52c | idris 0.11.2 |
| 0.11 | 2016-03-28 | ec35c6a73 | idris 0.11 |
| 0.10.2 | 2016-02-28 | 3731530f6 | idris 0.10.2 |
| 0.10 | 2016-01-21 | b95dd4a8e | idris 0.10 |
| 0.9.20.2 | 2015-12-24 | 618bb586d | idris 0.9.20.2 |
| 0.9.20.1 | 2015-11-25 | 6beb6dbcd | idris 0.9.20.1 |
| 0.9.20 | 2015-11-08 | 456015781 | idris 0.9.20 |
| 0.9.19.1 | 2015-10-11 | d18f4e068 | idris 0.9.19.1 |
| 0.9.19 | 2015-09-12 | f29cb8d09 | idris 0.9.19 |
| 0.9.18.1 | 2015-08-18 | c6b5f5233 | idris 0.9.18.1 |
| 0.9.18 | 2015-05-19 | 5eb35faae | idris 0.9.18 |
| 0.9.17 | 2015-03-22 | 746894c1f | idris 0.9.17 |
| 0.9.16 | 2015-01-21 | 323c14d73 | idris 0.9.16 |
| 0.9.15.1 | 2014-11-06 | ac9caebd0 | idris 0.9.15.1 |