Contents filter
File | Package | Branch | Repository | Architecture |
---|---|---|---|---|
/usr/idris2-0.7.0/linear-0.7.0/2023090800/Data/Linear/Notation.so | idris2 | edge | community | x86_64 |
/usr/idris2-0.7.0/linear-0.7.0/2023090800/Data/Linear/Notation.ttc | idris2 | edge | community | x86_64 |
/usr/idris2-0.7.0/linear-0.7.0/2023090800/Data/Linear/Notation.ttm | idris2 | edge | community | x86_64 |
/usr/idris2-0.7.0/linear-0.7.0/linear.ipkg | idris2 | edge | community | x86_64 |
/usr/idris2-0.7.0/network-0.7.0/2023090800/Control/Linear/Network.so | idris2 | edge | community | x86_64 |
/usr/idris2-0.7.0/network-0.7.0/2023090800/Control/Linear/Network.ttc | idris2 | edge | community | x86_64 |
/usr/idris2-0.7.0/network-0.7.0/2023090800/Control/Linear/Network.ttm | idris2 | edge | community | x86_64 |
/usr/idris2-0.7.0/network-0.7.0/2023090800/Network/FFI.so | idris2 | edge | community | x86_64 |
/usr/idris2-0.7.0/network-0.7.0/2023090800/Network/FFI.ttc | idris2 | edge | community | x86_64 |
/usr/idris2-0.7.0/network-0.7.0/2023090800/Network/FFI.ttm | idris2 | edge | community | x86_64 |
/usr/idris2-0.7.0/network-0.7.0/2023090800/Network/Socket.so | idris2 | edge | community | x86_64 |
/usr/idris2-0.7.0/network-0.7.0/2023090800/Network/Socket.ttc | idris2 | edge | community | x86_64 |
/usr/idris2-0.7.0/network-0.7.0/2023090800/Network/Socket.ttm | idris2 | edge | community | x86_64 |
/usr/idris2-0.7.0/network-0.7.0/2023090800/Network/Socket/Data.so | idris2 | edge | community | x86_64 |
/usr/idris2-0.7.0/network-0.7.0/2023090800/Network/Socket/Data.ttc | idris2 | edge | community | x86_64 |
/usr/idris2-0.7.0/network-0.7.0/2023090800/Network/Socket/Data.ttm | idris2 | edge | community | x86_64 |
/usr/idris2-0.7.0/network-0.7.0/2023090800/Network/Socket/Raw.so | idris2 | edge | community | x86_64 |
/usr/idris2-0.7.0/network-0.7.0/2023090800/Network/Socket/Raw.ttc | idris2 | edge | community | x86_64 |
/usr/idris2-0.7.0/network-0.7.0/2023090800/Network/Socket/Raw.ttm | idris2 | edge | community | x86_64 |
/usr/idris2-0.7.0/network-0.7.0/network.ipkg | idris2 | edge | community | x86_64 |
/usr/idris2-0.7.0/prelude-0.7.0/2023090800/Builtin.so | idris2 | edge | community | x86_64 |
/usr/idris2-0.7.0/prelude-0.7.0/2023090800/Builtin.ttc | idris2 | edge | community | x86_64 |
/usr/idris2-0.7.0/prelude-0.7.0/2023090800/Builtin.ttm | idris2 | edge | community | x86_64 |
/usr/idris2-0.7.0/prelude-0.7.0/2023090800/Prelude.ttc | idris2 | edge | community | x86_64 |
/usr/idris2-0.7.0/prelude-0.7.0/2023090800/Prelude.ttm | idris2 | edge | community | x86_64 |
/usr/idris2-0.7.0/prelude-0.7.0/2023090800/Prelude/Basics.so | idris2 | edge | community | x86_64 |
/usr/idris2-0.7.0/prelude-0.7.0/2023090800/Prelude/Basics.ttc | idris2 | edge | community | x86_64 |
/usr/idris2-0.7.0/prelude-0.7.0/2023090800/Prelude/Basics.ttm | idris2 | edge | community | x86_64 |
/usr/idris2-0.7.0/prelude-0.7.0/2023090800/Prelude/Cast.so | idris2 | edge | community | x86_64 |
/usr/idris2-0.7.0/prelude-0.7.0/2023090800/Prelude/Cast.ttc | idris2 | edge | community | x86_64 |
/usr/idris2-0.7.0/prelude-0.7.0/2023090800/Prelude/Cast.ttm | idris2 | edge | community | x86_64 |
/usr/idris2-0.7.0/prelude-0.7.0/2023090800/Prelude/EqOrd.so | idris2 | edge | community | x86_64 |
/usr/idris2-0.7.0/prelude-0.7.0/2023090800/Prelude/EqOrd.ttc | idris2 | edge | community | x86_64 |
/usr/idris2-0.7.0/prelude-0.7.0/2023090800/Prelude/EqOrd.ttm | idris2 | edge | community | x86_64 |
/usr/idris2-0.7.0/prelude-0.7.0/2023090800/Prelude/IO.so | idris2 | edge | community | x86_64 |
/usr/idris2-0.7.0/prelude-0.7.0/2023090800/Prelude/IO.ttc | idris2 | edge | community | x86_64 |
/usr/idris2-0.7.0/prelude-0.7.0/2023090800/Prelude/IO.ttm | idris2 | edge | community | x86_64 |
/usr/idris2-0.7.0/prelude-0.7.0/2023090800/Prelude/Interfaces.so | idris2 | edge | community | x86_64 |
/usr/idris2-0.7.0/prelude-0.7.0/2023090800/Prelude/Interfaces.ttc | idris2 | edge | community | x86_64 |
/usr/idris2-0.7.0/prelude-0.7.0/2023090800/Prelude/Interfaces.ttm | idris2 | edge | community | x86_64 |
/usr/idris2-0.7.0/prelude-0.7.0/2023090800/Prelude/Interpolation.so | idris2 | edge | community | x86_64 |
/usr/idris2-0.7.0/prelude-0.7.0/2023090800/Prelude/Interpolation.ttc | idris2 | edge | community | x86_64 |
/usr/idris2-0.7.0/prelude-0.7.0/2023090800/Prelude/Interpolation.ttm | idris2 | edge | community | x86_64 |
/usr/idris2-0.7.0/prelude-0.7.0/2023090800/Prelude/Num.so | idris2 | edge | community | x86_64 |
/usr/idris2-0.7.0/prelude-0.7.0/2023090800/Prelude/Num.ttc | idris2 | edge | community | x86_64 |
/usr/idris2-0.7.0/prelude-0.7.0/2023090800/Prelude/Num.ttm | idris2 | edge | community | x86_64 |
/usr/idris2-0.7.0/prelude-0.7.0/2023090800/Prelude/Ops.ttc | idris2 | edge | community | x86_64 |
/usr/idris2-0.7.0/prelude-0.7.0/2023090800/Prelude/Ops.ttm | idris2 | edge | community | x86_64 |
/usr/idris2-0.7.0/prelude-0.7.0/2023090800/Prelude/Show.so | idris2 | edge | community | x86_64 |
/usr/idris2-0.7.0/prelude-0.7.0/2023090800/Prelude/Show.ttc | idris2 | edge | community | x86_64 |