pkgstory

checked rss

idris version history (cask)

All packages / cask

idris

caskremoved

cask timeline from Homebrew git history.

Current
latest
Versions
1
Since
Sep 2014
Cadence
single

Contributors

5 people

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

Roland Walker

6 commits · 1 version change

2014-05-08 – 2014-11-22

ndr

3 commits · 0 version changes

2014-05-02 – 2014-10-11

Josh Hagins

2 commits · 0 version changes

2015-12-18 – 2016-01-18

Anastasia Sulyagina

1 commit · 0 version changes

2016-08-11 – 2016-08-11

Vítor Galvão

1 commit · 0 version changes

2015-01-22 – 2015-01-22

Version timeline

1 version-changing commits

VersionUpdatedCommitSubject
latest2014-09-17871c3f378:latest as symbol in idris