ELN Extras Package Set Addon View

Description: Extra packages not in ELN, but needed to be built like ELN for testing

⬅ Back to Source Packages

Source Package (SRPM): idris2 Required


Binary RPMs - includes dependency info
Package Name Category aarch64 ppc64le s390x x86_64
idris2 Required Extras - - Extras
idris2-libs Dependency Extras - - Extras


Maintainer Recommendation - Summary

Can't say, sorry!

Maintainer Recommendation - Details




Page refreshed at 30 July 2026 09:04 UTC.