pkgstory

checked 2026-06-15 08:31 UTC rss

idris version history (cask)

← all packages

idris

cask removed

removedDeleted from Homebrew/cask on 2016-08-11. The final version shipped in Homebrew/cask was latest. removal commit ↗

1 versions since Sep 2014

Version	Updated	Commit
latest	2014-09-17	871c3f378

Data licensed under CC-BY-4.0. Code licensed under AGPL-3.0-only.