Versions Packages Information History Related Badges Report

Versions for idris

Repository Package name Version Category Maintainer(s)
Alpine Linux Edge
testing
idris 1.3.0 - mitch.tishmack@gmail.com
Arch
community
idris 1.3.0 - felixonmars@archlinux.org
AUR idris-git v0.11.r118.cf0b54e - pdxleif@aur
Chocolatey idris 1.1.1 - fallback-mnt-chocolatey@repology
EPEL 7 idris 0.9.9.1 Unspecified fallback-mnt-epel_7@repology
freshcode.club idris 0.12 - fallback-mnt-freshcode@repology
GNU Guix idris 1.0 - fallback-mnt-gnuguix@repology
Homebrew idris 1.3.0 - fallback-mnt-homebrew@repology
Hyperbola
community
idris 1.0 - felixonmars@archlinux.org
Linuxbrew idris 1.3.0 - fallback-mnt-linuxbrew@repology
Manjaro Stable
community
idris 1.3.0 - felixonmars@archlinux.org
Manjaro Testing
community
idris 1.3.0 - felixonmars@archlinux.org
Manjaro Unstable
community
idris 1.3.0 - felixonmars@archlinux.org
nixpkgs stable idris 1.2.0-with-packages - fallback-mnt-nix_stable@repology
Parabola
community
idris 1.3.0 - felixonmars@archlinux.org
Scoop
scoop
idris 1.3.0 - fallback-mnt-scoop@repology

Absent in repositories