Gentoo Packages
Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
  • Home
  • Packages
  • Maintainers
  • USE flags
  • Architectures
  • About

dev-lang/
idris2

Purely functional programming language with first class types

https://idris-lang.org/

Overview Dependencies QA report Pull requests 0 Bugs 2 Security 0 Changelog

Bug Reports

  • dev-lang/idris2-0.6.0 - Error: Module Data.Nat not found
    881133 - Assigned to Scheme Project
  • dev-lang/idris2 fails to install with or without FEATURES="-xattr" - install-xattr: setxattr() failed: Operation not permitted
    912456 - Assigned to Scheme Project

Description

Gentoo Bugzilla is where we track bugs of Gentoo and its packages; you are welcome to report, confirm and resolve bugs:
  • File a new Bug
  • Confirm a bug
  • Participate in our monthly Bugday

Shortcuts

  • Packages Bugs (2)
  • Stabilization Bugs (0)
  • Keywording Bugs (0)
© 2001–2025 Gentoo Authors
Gentoo is a trademark of the Gentoo Foundation, Inc. and of Förderverein Gentoo e.V. The contents of this document, unless otherwise expressly stated, are licensed under the CC-BY-SA-4.0 license. The Gentoo Name and Logo Usage Guidelines apply.
Contact
v1.0.3