-
-
- Package location
-
lang/idris2
- Package name
- idris2-0.7.0
- Package maintainer
- Build Status
- indirect-failed
- Platform
- NetBSD 9.0/alpha
- Compiler
- gcc
- Branch
- 2024Q3
- Built on
- 2024-11-03 04:27:00 +0000 UTC
- Built by
- John Klos
This package has 1 failed dependencies
