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 1 through 50 of 315 >>> Name Size /usr/share/doc/idris-common 0.00 B /usr/share/idris-1.3.4 0.00 B /usr/share/idris-1.3.4/idrisdoc 0.00 B /usr/share/idris-1.3.4/jsrts 0.00 B /usr/share/idris-1.3.4/jsrts/jsbn 0.00 B /usr/share/idris-1.3.4/libs 0.00 B /usr/share/idris-1.3.4/libs/base 0.00 B /usr/share/idris-1.3.4/libs/base/Control 0.00 B /usr/share/idris-1.3.4/libs/base/Control/Monad 0.00 B /usr/share/idris-1.3.4/libs/base/Data 0.00 B /usr/share/idris-1.3.4/libs/base/Data/List 0.00 B /usr/share/idris-1.3.4/libs/base/Data/Nat 0.00 B /usr/share/idris-1.3.4/libs/base/Data/Primitives 0.00 B /usr/share/idris-1.3.4/libs/base/Data/String 0.00 B /usr/share/idris-1.3.4/libs/base/Data/Vect 0.00 B /usr/share/idris-1.3.4/libs/base/Debug 0.00 B /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/Syntax 0.00 B /usr/share/idris-1.3.4/libs/base/System 0.00 B /usr/share/idris-1.3.4/libs/base/System/Concurrency 0.00 B /usr/share/idris-1.3.4/libs/contrib 0.00 B /usr/share/idris-1.3.4/libs/contrib/CFFI 0.00 B /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/Isomorphism 0.00 B /usr/share/idris-1.3.4/libs/contrib/Control/Monad 0.00 B /usr/share/idris-1.3.4/libs/contrib/Control/ST 0.00 B /usr/share/idris-1.3.4/libs/contrib/Data 0.00 B /usr/share/idris-1.3.4/libs/contrib/Data/Bool 0.00 B /usr/share/idris-1.3.4/libs/contrib/Data/Combinators 0.00 B /usr/share/idris-1.3.4/libs/contrib/Data/Fin 0.00 B /usr/share/idris-1.3.4/libs/contrib/Data/List 0.00 B /usr/share/idris-1.3.4/libs/contrib/Data/Matrix 0.00 B /usr/share/idris-1.3.4/libs/contrib/Data/Nat 0.00 B /usr/share/idris-1.3.4/libs/contrib/Data/Nat/DivMod 0.00 B /usr/share/idris-1.3.4/libs/contrib/Data/Pairs 0.00 B /usr/share/idris-1.3.4/libs/contrib/Data/Stream 0.00 B /usr/share/idris-1.3.4/libs/contrib/Data/String 0.00 B /usr/share/idris-1.3.4/libs/contrib/Decidable 0.00 B /usr/share/idris-1.3.4/libs/contrib/Interfaces 0.00 B /usr/share/idris-1.3.4/libs/contrib/Language 0.00 B /usr/share/idris-1.3.4/libs/contrib/Language/JSON 0.00 B /usr/share/idris-1.3.4/libs/contrib/Language/JSON/String 0.00 B /usr/share/idris-1.3.4/libs/contrib/Network 0.00 B /usr/share/idris-1.3.4/libs/contrib/Network/Socket 0.00 B /usr/share/idris-1.3.4/libs/contrib/System 0.00 B /usr/share/idris-1.3.4/libs/contrib/System/Concurrency 0.00 B /usr/share/idris-1.3.4/libs/contrib/Test 0.00 B /usr/share/idris-1.3.4/libs/contrib/Test/Unit 0.00 B
Component of	No Buildroots