Main Site Links:

• Summary
• Packages
• Builds
• Tasks
• Tags
• Build Targets
• Users
• Hosts
• Reports
• Search
• API

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

ID	873495
Name	idris-common
Version	1.3.4
Release	5.fc37
Epoch
Arch	noarch
Summary	Idris libraries
Description	This package provides the Idris libraries development files.
Build Time	2022-11-03 20:02:57 GMT
Size	4.01 MB
SIGMD5	453dcac3204e83d5e1e6f14d78d3b48f
License	BSD
Buildroot	f37-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: 1 2 3 4 5 6 7 <<< 51 through 100 of 315 >>> Name Size /usr/share/idris-1.3.4/libs/base/Data/So.ibc 8.02 KB /usr/share/idris-1.3.4/libs/base/Data/String 0.00 B /usr/share/idris-1.3.4/libs/base/Data/String.ibc 20.47 KB /usr/share/idris-1.3.4/libs/base/Data/String/Views.ibc 5.31 KB /usr/share/idris-1.3.4/libs/base/Data/Vect 0.00 B /usr/share/idris-1.3.4/libs/base/Data/Vect.ibc 142.29 KB /usr/share/idris-1.3.4/libs/base/Data/Vect/Quantifiers.ibc 16.78 KB /usr/share/idris-1.3.4/libs/base/Data/Vect/Views.ibc 17.32 KB /usr/share/idris-1.3.4/libs/base/Debug 0.00 B /usr/share/idris-1.3.4/libs/base/Debug/Error.ibc 3.88 KB /usr/share/idris-1.3.4/libs/base/Debug/Trace.ibc 3.59 KB /usr/share/idris-1.3.4/libs/base/Language 0.00 B /usr/share/idris-1.3.4/libs/base/Language/Reflection 0.00 B /usr/share/idris-1.3.4/libs/base/Language/Reflection/Utils.ibc 104.89 KB /usr/share/idris-1.3.4/libs/base/Syntax 0.00 B /usr/share/idris-1.3.4/libs/base/Syntax/PreorderReasoning.ibc 4.15 KB /usr/share/idris-1.3.4/libs/base/System 0.00 B /usr/share/idris-1.3.4/libs/base/System.ibc 16.69 KB /usr/share/idris-1.3.4/libs/base/System/Concurrency 0.00 B /usr/share/idris-1.3.4/libs/base/System/Concurrency/Channels.ibc 9.43 KB /usr/share/idris-1.3.4/libs/base/System/Concurrency/Raw.ibc 15.63 KB /usr/share/idris-1.3.4/libs/base/System/Info.ibc 3.21 KB /usr/share/idris-1.3.4/libs/contrib 0.00 B /usr/share/idris-1.3.4/libs/contrib/00contrib-idx.ibc 1.70 KB /usr/share/idris-1.3.4/libs/contrib/CFFI 0.00 B /usr/share/idris-1.3.4/libs/contrib/CFFI.ibc 844.00 B /usr/share/idris-1.3.4/libs/contrib/CFFI/Memory.ibc 13.88 KB /usr/share/idris-1.3.4/libs/contrib/CFFI/Types.ibc 23.30 KB /usr/share/idris-1.3.4/libs/contrib/Control 0.00 B /usr/share/idris-1.3.4/libs/contrib/Control/Algebra 0.00 B /usr/share/idris-1.3.4/libs/contrib/Control/Algebra.ibc 13.29 KB /usr/share/idris-1.3.4/libs/contrib/Control/Algebra/Lattice.ibc 14.02 KB /usr/share/idris-1.3.4/libs/contrib/Control/Algebra/Laws.ibc 42.33 KB /usr/share/idris-1.3.4/libs/contrib/Control/Algebra/NumericImplementations.ibc 23.15 KB /usr/share/idris-1.3.4/libs/contrib/Control/Algebra/VectorSpace.ibc 8.65 KB /usr/share/idris-1.3.4/libs/contrib/Control/Delayed.ibc 4.40 KB /usr/share/idris-1.3.4/libs/contrib/Control/Isomorphism 0.00 B /usr/share/idris-1.3.4/libs/contrib/Control/Isomorphism/Extra.ibc 13.24 KB /usr/share/idris-1.3.4/libs/contrib/Control/Isomorphism/Fin.ibc 15.62 KB /usr/share/idris-1.3.4/libs/contrib/Control/Isomorphism/Primitives.ibc 6.19 KB /usr/share/idris-1.3.4/libs/contrib/Control/Isomorphism/Vect.ibc 41.44 KB /usr/share/idris-1.3.4/libs/contrib/Control/Monad 0.00 B /usr/share/idris-1.3.4/libs/contrib/Control/Monad/Syntax.ibc 5.20 KB /usr/share/idris-1.3.4/libs/contrib/Control/Partial.ibc 3.79 KB /usr/share/idris-1.3.4/libs/contrib/Control/Pipeline.ibc 3.89 KB /usr/share/idris-1.3.4/libs/contrib/Control/ST 0.00 B /usr/share/idris-1.3.4/libs/contrib/Control/ST.ibc 97.98 KB /usr/share/idris-1.3.4/libs/contrib/Control/ST/Exception.ibc 18.44 KB /usr/share/idris-1.3.4/libs/contrib/Control/ST/File.ibc 50.88 KB /usr/share/idris-1.3.4/libs/contrib/Control/ST/ImplicitCall.ibc 4.24 KB
Component of	No Buildroots