Contents filter
| File | Package | Branch | Repository | Architecture |
|---|---|---|---|---|
| /usr/idris2-0.6.0/support/racket/ct-support.rkt | idris2-stage0 | v3.19 | community | x86 |
| /usr/idris2-0.6.0/support/racket/support.rkt | idris2-stage0 | v3.19 | community | x86 |
| /usr/idris2-0.6.0/support/refc/_datatypes.h | idris2-stage0 | v3.19 | community | x86 |
| /usr/idris2-0.6.0/support/refc/buffer.h | idris2-stage0 | v3.19 | community | x86 |
| /usr/idris2-0.6.0/support/refc/cBackend.h | idris2-stage0 | v3.19 | community | x86 |
| /usr/idris2-0.6.0/support/refc/casts.h | idris2-stage0 | v3.19 | community | x86 |
| /usr/idris2-0.6.0/support/refc/clock.h | idris2-stage0 | v3.19 | community | x86 |
| /usr/idris2-0.6.0/support/refc/conCaseHelper.h | idris2-stage0 | v3.19 | community | x86 |
| /usr/idris2-0.6.0/support/refc/libidris2_refc.a | idris2-stage0 | v3.19 | community | x86 |
| /usr/idris2-0.6.0/support/refc/mathFunctions.h | idris2-stage0 | v3.19 | community | x86 |
| /usr/idris2-0.6.0/support/refc/memoryManagement.h | idris2-stage0 | v3.19 | community | x86 |
| /usr/idris2-0.6.0/support/refc/prim.h | idris2-stage0 | v3.19 | community | x86 |
| /usr/idris2-0.6.0/support/refc/refc_util.h | idris2-stage0 | v3.19 | community | x86 |
| /usr/idris2-0.6.0/support/refc/runtime.h | idris2-stage0 | v3.19 | community | x86 |
| /usr/idris2-0.6.0/support/refc/stringOps.h | idris2-stage0 | v3.19 | community | x86 |
| /usr/idris2-0.6.0/support/refc/threads.h | idris2-stage0 | v3.19 | community | x86 |
| /usr/idris2-0.6.0/test-0.6.0/Test/Golden.so | idris2-stage0 | v3.19 | community | x86 |
| /usr/idris2-0.6.0/test-0.6.0/Test/Golden.ttc | idris2-stage0 | v3.19 | community | x86 |
| /usr/idris2-0.6.0/test-0.6.0/test.ipkg | idris2-stage0 | v3.19 | community | x86 |
| /usr/lib/libidris2_support.so | idris2-stage0 | v3.19 | community | x86 |