Fri, 05 Jul 2024 21:46:39 UTC | login

Information for RPM idris-common-1.3.4-5.fc37.noarch.rpm

ID873495
Nameidris-common
Version1.3.4
Release5.fc37
Epoch
Archnoarch
SummaryIdris libraries
DescriptionThis package provides the Idris libraries development files.
Build Time2022-11-03 20:02:57 GMT
Size4.01 MB
453dcac3204e83d5e1e6f14d78d3b48f
LicenseBSD
Buildrootf37-build-664721-74155
Provides
idris-common = 1.3.4-5.fc37
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
Page:
<<< 51 through 100 of 315 >>>
Name Size descending sort
/usr/share/idris-1.3.4/libs/contrib/Data/Nat/DivMod/IteratedSubtraction.ibc26.54 KB
/usr/share/idris-1.3.4/libs/contrib/Network/Cgi.ibc26.50 KB
/usr/share/idris-1.3.4/libs/contrib/Text/Parser.ibc26.17 KB
/usr/share/idris-1.3.4/libs/contrib/Data/SortedBag.ibc26.12 KB
/usr/share/idris-1.3.4/libs/prelude/Prelude/Maybe.ibc25.32 KB
/usr/share/idris-1.3.4/libs/base/Data/Mod2.ibc25.29 KB
/usr/share/idris-1.3.4/libs/contrib/Network/Socket/Data.ibc25.23 KB
/usr/share/idris-1.3.4/libs/base/Control/Monad/State.ibc25.20 KB
/usr/share/idris-1.3.4/libs/pruviloj/Pruviloj/Induction.ibc24.74 KB
/usr/share/idris-1.3.4/libs/contrib/Text/Lexer.ibc24.45 KB
/usr/share/idris-1.3.4/libs/pruviloj/Pruviloj/Internals.ibc24.25 KB
/usr/share/idris-1.3.4/libs/contrib/Test/Unit/Assertions.ibc23.85 KB
/usr/share/idris-1.3.4/libs/contrib/Network/Socket.ibc23.82 KB
/usr/share/idris-1.3.4/libs/contrib/Data/Heap.ibc23.74 KB
/usr/share/idris-1.3.4/libs/contrib/CFFI/Types.ibc23.30 KB
/usr/share/idris-1.3.4/libs/contrib/Control/Algebra/NumericImplementations.ibc23.15 KB
/usr/share/idris-1.3.4/libs/contrib/Data/Hash.ibc21.10 KB
/usr/share/idris-1.3.4/libs/contrib/Text/PrettyPrint/WL/Core.ibc20.85 KB
/usr/share/idris-1.3.4/libs/contrib/Text/Literate.ibc20.72 KB
/usr/share/idris-1.3.4/libs/base/Data/String.ibc20.47 KB
/usr/share/idris-1.3.4/libs/base/Data/Buffer.ibc20.17 KB
/usr/share/idris-1.3.4/libs/base/Control/Monad/Reader.ibc20.05 KB
/usr/share/idris-1.3.4/libs/base/Control/Monad/Identity.ibc19.89 KB
/usr/share/idris-1.3.4/libs/base/Data/List.ibc19.70 KB
/usr/share/idris-1.3.4/libs/prelude/Prelude/Interactive.ibc19.66 KB
/usr/share/idris-1.3.4/libs/prelude/Prelude/Stream.ibc19.18 KB
/usr/share/idris-1.3.4/libs/base/Data/Complex.ibc19.11 KB
/usr/share/idris-1.3.4/libs/base/Control/Catchable.ibc19.08 KB
/usr/share/idris-1.3.4/libs/contrib/Text/PrettyPrint/WL/Combinators.ibc18.89 KB
/usr/share/idris-1.3.4/libs/pruviloj/Pruviloj/Internals/TyConInfo.ibc18.46 KB
/usr/share/idris-1.3.4/libs/contrib/Control/ST/Exception.ibc18.44 KB
/usr/share/idris-1.3.4/libs/contrib/Network/Socket/Raw.ibc18.25 KB
/usr/share/idris-1.3.4/libs/contrib/System/Concurrency/Process.ibc18.24 KB
/usr/share/idris-1.3.4/libs/effects/Effect/Logging/Default.ibc17.79 KB
/usr/share/idris-1.3.4/libs/contrib/Data/List/Zipper.ibc17.60 KB
/usr/share/idris-1.3.4/libs/prelude/Builtins.ibc17.59 KB
/usr/share/idris-1.3.4/libs/prelude/Prelude/WellFounded.ibc17.46 KB
/usr/share/idris-1.3.4/libs/base/Data/Vect/Views.ibc17.32 KB
/usr/share/idris-1.3.4/libs/contrib/Data/BoundedList.ibc17.30 KB
/usr/share/idris-1.3.4/libs/base/Data/List/Quantifiers.ibc16.80 KB
/usr/share/idris-1.3.4/libs/base/Data/Vect/Quantifiers.ibc16.78 KB
/usr/share/idris-1.3.4/libs/contrib/Interfaces/Correlative.ibc16.71 KB
/usr/share/idris-1.3.4/libs/contrib/Data/Fin/Extra.ibc16.69 KB
/usr/share/idris-1.3.4/libs/base/System.ibc16.69 KB
/usr/share/idris-1.3.4/libs/effects/Effect/Logging/Level.ibc15.95 KB
/usr/share/idris-1.3.4/libs/base/System/Concurrency/Raw.ibc15.63 KB
/usr/share/idris-1.3.4/libs/contrib/Control/Isomorphism/Fin.ibc15.62 KB
/usr/share/idris-1.3.4/libs/contrib/Data/List/Reverse.ibc15.31 KB
/usr/share/idris-1.3.4/libs/base/Data/IORef.ibc14.93 KB
/usr/share/idris-1.3.4/rts/idris_rts.h14.83 KB
Component of No Buildroots