Contents filter
| File | Package | Branch | Repository | Architecture |
|---|---|---|---|---|
| /usr/idris2-0.7.0/support/refc/threads.h | idris2 | edge | community | x86_64 |
| /usr/idris2-0.7.0/test-0.7.0/2023090800/Test/Golden.so | idris2 | edge | community | x86_64 |
| /usr/idris2-0.7.0/test-0.7.0/2023090800/Test/Golden.ttc | idris2 | edge | community | x86_64 |
| /usr/idris2-0.7.0/test-0.7.0/2023090800/Test/Golden.ttm | idris2 | edge | community | x86_64 |
| /usr/idris2-0.7.0/test-0.7.0/test.ipkg | idris2 | edge | community | x86_64 |
| /usr/lib/libidris2_support.a | idris2 | edge | community | x86_64 |
| /usr/lib/libidris2_support.so | idris2 | edge | community | x86_64 |