Main Site Links:

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

Information for RPM idris-common-1.3.4-1.ocs23.noarch.rpm

ID	139660
Name	idris-common
Version	1.3.4
Release	1.ocs23
Epoch
Arch	noarch
Summary	Idris libraries
Description	This package provides the Idris libraries development files.
Build Time	2024-07-22 04:19:38 GMT
Size	4.04 MB
SIGMD5	d054644655b37a28c2edcbaba6f9a9b5
License	BSD-3-Clause
Buildroot	dist-ocs23-epol9-build-214504-15918
Provides	idris-common = 1.3.4-1.ocs23
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(PayloadIsXz) <= 5.2-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/doc/idris-common/CHANGELOG.md 55.03 KB /usr/share/doc/idris-common/CONTRIBUTING.md 7.80 KB /usr/share/doc/idris-common/CONTRIBUTORS 3.26 KB /usr/share/doc/idris-common/README.md 2.80 KB /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/idrisdoc/styles.css 3.35 KB /usr/share/idris-1.3.4/jsrts 0.00 B /usr/share/idris-1.3.4/jsrts/Runtime-common.js 617.00 B /usr/share/idris-1.3.4/jsrts/Runtime-javascript.js 392.00 B /usr/share/idris-1.3.4/jsrts/Runtime-node.js 834.00 B /usr/share/idris-1.3.4/jsrts/jsbn 0.00 B /usr/share/idris-1.3.4/jsrts/jsbn/LICENSE 1.51 KB /usr/share/idris-1.3.4/jsrts/jsbn/jsbn-browser.js 40.25 KB /usr/share/idris-1.3.4/jsrts/jsbn/jsbn-node.js 31.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/00base-idx.ibc 985.00 B /usr/share/idris-1.3.4/libs/base/Control 0.00 B /usr/share/idris-1.3.4/libs/base/Control/Arrow.ibc 46.31 KB /usr/share/idris-1.3.4/libs/base/Control/Catchable.ibc 19.08 KB /usr/share/idris-1.3.4/libs/base/Control/Category.ibc 9.51 KB /usr/share/idris-1.3.4/libs/base/Control/IOExcept.ibc 14.42 KB /usr/share/idris-1.3.4/libs/base/Control/Isomorphism.ibc 55.76 KB /usr/share/idris-1.3.4/libs/base/Control/Monad 0.00 B /usr/share/idris-1.3.4/libs/base/Control/Monad/Identity.ibc 19.89 KB /usr/share/idris-1.3.4/libs/base/Control/Monad/RWS.ibc 34.14 KB /usr/share/idris-1.3.4/libs/base/Control/Monad/Reader.ibc 20.05 KB /usr/share/idris-1.3.4/libs/base/Control/Monad/State.ibc 25.20 KB /usr/share/idris-1.3.4/libs/base/Control/Monad/Trans.ibc 4.71 KB /usr/share/idris-1.3.4/libs/base/Control/Monad/Writer.ibc 29.00 KB /usr/share/idris-1.3.4/libs/base/Data 0.00 B /usr/share/idris-1.3.4/libs/base/Data/Bits.ibc 92.81 KB /usr/share/idris-1.3.4/libs/base/Data/Buffer.ibc 20.17 KB /usr/share/idris-1.3.4/libs/base/Data/Complex.ibc 19.11 KB /usr/share/idris-1.3.4/libs/base/Data/Erased.ibc 7.35 KB /usr/share/idris-1.3.4/libs/base/Data/Fin.ibc 40.62 KB /usr/share/idris-1.3.4/libs/base/Data/HVect.ibc 29.33 KB /usr/share/idris-1.3.4/libs/base/Data/IORef.ibc 14.93 KB /usr/share/idris-1.3.4/libs/base/Data/List 0.00 B /usr/share/idris-1.3.4/libs/base/Data/List.ibc 19.70 KB /usr/share/idris-1.3.4/libs/base/Data/List/Quantifiers.ibc 16.80 KB /usr/share/idris-1.3.4/libs/base/Data/List/Views.ibc 37.51 KB /usr/share/idris-1.3.4/libs/base/Data/Mod2.ibc 25.29 KB /usr/share/idris-1.3.4/libs/base/Data/Morphisms.ibc 26.98 KB /usr/share/idris-1.3.4/libs/base/Data/Nat 0.00 B /usr/share/idris-1.3.4/libs/base/Data/Nat/Views.ibc 9.14 KB /usr/share/idris-1.3.4/libs/base/Data/Primitives 0.00 B /usr/share/idris-1.3.4/libs/base/Data/Primitives/Views.ibc 13.02 KB
Component of	No Buildroots