Contents filter
File | Package | Branch | Repository | Architecture |
---|---|---|---|---|
/usr/idris2-0.7.0/base-0.7.0/2023090800/Data/Zippable.ttm | idris2-stage0 | edge | community | x86 |
/usr/idris2-0.7.0/base-0.7.0/2023090800/Debug/Trace.so | idris2-stage0 | edge | community | x86 |
/usr/idris2-0.7.0/base-0.7.0/2023090800/Debug/Trace.ttc | idris2-stage0 | edge | community | x86 |
/usr/idris2-0.7.0/base-0.7.0/2023090800/Debug/Trace.ttm | idris2-stage0 | edge | community | x86 |
/usr/idris2-0.7.0/base-0.7.0/2023090800/Decidable/Decidable.so | idris2-stage0 | edge | community | x86 |
/usr/idris2-0.7.0/base-0.7.0/2023090800/Decidable/Decidable.ttc | idris2-stage0 | edge | community | x86 |
/usr/idris2-0.7.0/base-0.7.0/2023090800/Decidable/Decidable.ttm | idris2-stage0 | edge | community | x86 |
/usr/idris2-0.7.0/base-0.7.0/2023090800/Decidable/Equality.so | idris2-stage0 | edge | community | x86 |
/usr/idris2-0.7.0/base-0.7.0/2023090800/Decidable/Equality.ttc | idris2-stage0 | edge | community | x86 |
/usr/idris2-0.7.0/base-0.7.0/2023090800/Decidable/Equality.ttm | idris2-stage0 | edge | community | x86 |
/usr/idris2-0.7.0/base-0.7.0/2023090800/Decidable/Equality/Core.so | idris2-stage0 | edge | community | x86 |
/usr/idris2-0.7.0/base-0.7.0/2023090800/Decidable/Equality/Core.ttc | idris2-stage0 | edge | community | x86 |
/usr/idris2-0.7.0/base-0.7.0/2023090800/Decidable/Equality/Core.ttm | idris2-stage0 | edge | community | x86 |
/usr/idris2-0.7.0/base-0.7.0/2023090800/Deriving/Common.so | idris2-stage0 | edge | community | x86 |
/usr/idris2-0.7.0/base-0.7.0/2023090800/Deriving/Common.ttc | idris2-stage0 | edge | community | x86 |
/usr/idris2-0.7.0/base-0.7.0/2023090800/Deriving/Common.ttm | idris2-stage0 | edge | community | x86 |
/usr/idris2-0.7.0/base-0.7.0/2023090800/Deriving/Foldable.so | idris2-stage0 | edge | community | x86 |
/usr/idris2-0.7.0/base-0.7.0/2023090800/Deriving/Foldable.ttc | idris2-stage0 | edge | community | x86 |
/usr/idris2-0.7.0/base-0.7.0/2023090800/Deriving/Foldable.ttm | idris2-stage0 | edge | community | x86 |
/usr/idris2-0.7.0/base-0.7.0/2023090800/Deriving/Functor.so | idris2-stage0 | edge | community | x86 |
/usr/idris2-0.7.0/base-0.7.0/2023090800/Deriving/Functor.ttc | idris2-stage0 | edge | community | x86 |
/usr/idris2-0.7.0/base-0.7.0/2023090800/Deriving/Functor.ttm | idris2-stage0 | edge | community | x86 |
/usr/idris2-0.7.0/base-0.7.0/2023090800/Deriving/Show.so | idris2-stage0 | edge | community | x86 |
/usr/idris2-0.7.0/base-0.7.0/2023090800/Deriving/Show.ttc | idris2-stage0 | edge | community | x86 |
/usr/idris2-0.7.0/base-0.7.0/2023090800/Deriving/Show.ttm | idris2-stage0 | edge | community | x86 |
/usr/idris2-0.7.0/base-0.7.0/2023090800/Deriving/Traversable.so | idris2-stage0 | edge | community | x86 |
/usr/idris2-0.7.0/base-0.7.0/2023090800/Deriving/Traversable.ttc | idris2-stage0 | edge | community | x86 |
/usr/idris2-0.7.0/base-0.7.0/2023090800/Deriving/Traversable.ttm | idris2-stage0 | edge | community | x86 |
/usr/idris2-0.7.0/base-0.7.0/2023090800/Language/Reflection.so | idris2-stage0 | edge | community | x86 |
/usr/idris2-0.7.0/base-0.7.0/2023090800/Language/Reflection.ttc | idris2-stage0 | edge | community | x86 |
/usr/idris2-0.7.0/base-0.7.0/2023090800/Language/Reflection.ttm | idris2-stage0 | edge | community | x86 |
/usr/idris2-0.7.0/base-0.7.0/2023090800/Language/Reflection/TT.so | idris2-stage0 | edge | community | x86 |
/usr/idris2-0.7.0/base-0.7.0/2023090800/Language/Reflection/TT.ttc | idris2-stage0 | edge | community | x86 |
/usr/idris2-0.7.0/base-0.7.0/2023090800/Language/Reflection/TT.ttm | idris2-stage0 | edge | community | x86 |
/usr/idris2-0.7.0/base-0.7.0/2023090800/Language/Reflection/TTImp.so | idris2-stage0 | edge | community | x86 |
/usr/idris2-0.7.0/base-0.7.0/2023090800/Language/Reflection/TTImp.ttc | idris2-stage0 | edge | community | x86 |
/usr/idris2-0.7.0/base-0.7.0/2023090800/Language/Reflection/TTImp.ttm | idris2-stage0 | edge | community | x86 |
/usr/idris2-0.7.0/base-0.7.0/2023090800/Syntax/PreorderReasoning.so | idris2-stage0 | edge | community | x86 |
/usr/idris2-0.7.0/base-0.7.0/2023090800/Syntax/PreorderReasoning.ttc | idris2-stage0 | edge | community | x86 |
/usr/idris2-0.7.0/base-0.7.0/2023090800/Syntax/PreorderReasoning.ttm | idris2-stage0 | edge | community | x86 |
/usr/idris2-0.7.0/base-0.7.0/2023090800/Syntax/PreorderReasoning/Generic.so | idris2-stage0 | edge | community | x86 |
/usr/idris2-0.7.0/base-0.7.0/2023090800/Syntax/PreorderReasoning/Generic.ttc | idris2-stage0 | edge | community | x86 |
/usr/idris2-0.7.0/base-0.7.0/2023090800/Syntax/PreorderReasoning/Generic.ttm | idris2-stage0 | edge | community | x86 |
/usr/idris2-0.7.0/base-0.7.0/2023090800/System.so | idris2-stage0 | edge | community | x86 |
/usr/idris2-0.7.0/base-0.7.0/2023090800/System.ttc | idris2-stage0 | edge | community | x86 |
/usr/idris2-0.7.0/base-0.7.0/2023090800/System.ttm | idris2-stage0 | edge | community | x86 |
/usr/idris2-0.7.0/base-0.7.0/2023090800/System/Clock.so | idris2-stage0 | edge | community | x86 |
/usr/idris2-0.7.0/base-0.7.0/2023090800/System/Clock.ttc | idris2-stage0 | edge | community | x86 |
/usr/idris2-0.7.0/base-0.7.0/2023090800/System/Clock.ttm | idris2-stage0 | edge | community | x86 |
/usr/idris2-0.7.0/base-0.7.0/2023090800/System/Concurrency.so | idris2-stage0 | edge | community | x86 |