repology.org
domain is back up, repology.amdmi3.ru will be discontinued on October 9th
Toggle navigation
Projects
Maintainers
Repositories
Tools
Security
News
Docs
Versions
Packages
Information
History
Badges
Report
Information for
idris2
Versions
0.8.0
Package names
idris2
Repositories
Fedora Rawhide
Categories
Unspecified
Licenses
BSD-3-Clause
Summaries
Purely functional programming language with first class types
Homepage links
https://www.idris-lang.org/
All package recipes
https://src.fedoraproject.org/rpms/idris2/blob/rawhide/f/idris2.spec
Build logs
https://kojipkgs.fedoraproject.org/packages/idris2/0.8.0/6.fc45/data/logs/