Main Site Links:

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

Information for RPM idris-docs-1.3.4-6.fc38.noarch.rpm

ID	1019251
Name	idris-docs
Version	1.3.4
Release	6.fc38
Epoch
Arch	noarch
Summary	Idris library docs
Description	This package provides the library docs for the Idris programming language.
Build Time	2023-06-03 09:53:49 GMT
Size	181.11 KB
SIGMD5	e3ff6a32ae1fc9ede3792aac1118abf2
License	BSD-3-Clause
Buildroot	f38-build-719838-97265
Provides	idris-docs = 1.3.4-6.fc38
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 304 >>> Name Size /usr/share/idris-1.3.4 0.00 B /usr/share/idris-1.3.4/docs 0.00 B /usr/share/idris-1.3.4/docs/base 0.00 B /usr/share/idris-1.3.4/docs/base/IdrisDoc 0.00 B /usr/share/idris-1.3.4/docs/base/docs 0.00 B /usr/share/idris-1.3.4/docs/contrib 0.00 B /usr/share/idris-1.3.4/docs/contrib/IdrisDoc 0.00 B /usr/share/idris-1.3.4/docs/contrib/docs 0.00 B /usr/share/idris-1.3.4/docs/effects 0.00 B /usr/share/idris-1.3.4/docs/effects/IdrisDoc 0.00 B /usr/share/idris-1.3.4/docs/effects/docs 0.00 B /usr/share/idris-1.3.4/docs/prelude 0.00 B /usr/share/idris-1.3.4/docs/prelude/IdrisDoc 0.00 B /usr/share/idris-1.3.4/docs/prelude/docs 0.00 B /usr/share/idris-1.3.4/docs/pruviloj 0.00 B /usr/share/idris-1.3.4/docs/pruviloj/IdrisDoc 0.00 B /usr/share/idris-1.3.4/docs/pruviloj/docs 0.00 B /usr/share/idris-1.3.4/docs/effects/docs/Effects.NoResourceEffect.html 942.00 B /usr/share/idris-1.3.4/docs/base/docs/System.html 975.00 B /usr/share/idris-1.3.4/docs/contrib/docs/Text.Token.html 1.01 KB /usr/share/idris-1.3.4/docs/base/docs/Control.Monad.Identity.html 1.02 KB /usr/share/idris-1.3.4/docs/effects/docs/Effects.NoUpdateEffect.html 1.05 KB /usr/share/idris-1.3.4/docs/contrib/docs/Language.JSON.html 1.07 KB /usr/share/idris-1.3.4/docs/contrib/docs/Control.ST.Stable.html 1.09 KB /usr/share/idris-1.3.4/docs/base/docs/Debug.Trace.html 1.14 KB /usr/share/idris-1.3.4/docs/effects/docs/Effects.UpdateEffect.html 1.14 KB /usr/share/idris-1.3.4/docs/contrib/docs/Text.Lexer.Core.html 1.15 KB /usr/share/idris-1.3.4/docs/contrib/docs/Text.Quantity.html 1.16 KB /usr/share/idris-1.3.4/docs/effects/docs/Effects.DepUpdateEffect.html 1.20 KB /usr/share/idris-1.3.4/docs/base/docs/Control.Monad.Reader.html 1.20 KB /usr/share/idris-1.3.4/docs/base/docs/System.Info.html 1.30 KB /usr/share/idris-1.3.4/docs/prelude/docs/Prelude.Cast.html 1.36 KB /usr/share/idris-1.3.4/docs/base/docs/Control.IOExcept.html 1.37 KB /usr/share/idris-1.3.4/docs/contrib/docs/Control.IOExcept.html 1.37 KB /usr/share/idris-1.3.4/docs/effects/docs/Control.IOExcept.html 1.37 KB /usr/share/idris-1.3.4/docs/base/docs/Debug.Error.html 1.42 KB /usr/share/idris-1.3.4/docs/base/docs/Control.Monad.Writer.html 1.42 KB /usr/share/idris-1.3.4/docs/base/docs/Control.Monad.State.html 1.49 KB /usr/share/idris-1.3.4/docs/contrib/docs/Control.Isomorphism.Iso.html 1.55 KB /usr/share/idris-1.3.4/docs/contrib/docs/Control.Isomorphism.Primitives.html 1.55 KB /usr/share/idris-1.3.4/docs/contrib/docs/Prelude.Pairs.Exists.html 1.57 KB /usr/share/idris-1.3.4/docs/contrib/docs/Control.Partial.html 1.61 KB /usr/share/idris-1.3.4/docs/contrib/docs/Data.Rel.html 1.64 KB /usr/share/idris-1.3.4/docs/pruviloj/docs/Pruviloj.Internals.TyConInfo.html 1.67 KB /usr/share/idris-1.3.4/docs/contrib/docs/Interfaces.Proposition.html 1.71 KB /usr/share/idris-1.3.4/docs/contrib/docs/Data.Stream.Extra.html 1.71 KB /usr/share/idris-1.3.4/docs/base/docs/Control.Monad.RWS.html 1.73 KB /usr/share/idris-1.3.4/docs/effects/docs/Effects.SimpleEff.html 1.73 KB /usr/share/idris-1.3.4/docs/contrib/docs/Data.Pairs.Implicit.html 1.75 KB /usr/share/idris-1.3.4/docs/contrib/docs/Control.Pipeline.html 1.90 KB
Component of	No Buildroots